>>228
222に出てきたΣ１とかΔ１とか、あとΠ１とかいうのは
計算可能性に関する算術的階層

算術的階層
https://ja.wikipedia.org/wiki/%E7%AE%97%E8%A1%93%E7%9A%84%E9%9A%8E%E5%B1%A4

計算論とか計算の理論とかいうタイトルの書物は
だいたいこのあたりのことを書いている

まあ、ここで書いてるようなことは
ゲーデルの不完全性定理について書かれてる教科書なら
だいたい書いてあるけどね　基本だから