無限に付いて語る。実無限VS可能無限

>>207
＞これはKleeneがHierarchy理論をちゃんとやってるよ。

いや、そういうレベルの話ではない。
例えば、集合論の定理が、適当な変換によって
数論の定理として読みかえられるといったこと。