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

＞構成に関する繊細な問題
これはKleeneがHierarchy理論をちゃんとやってるよ。
Recursive Function Theory はその辺のことは
徹底してやってるけど，実無限がどうしたとかは関係ない。
それはそれ，これはこれだ。