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

>>152
逆数学って知ってる？どれだけの弱さ、強さの数学理論で、どこまで
のことが言えるのかを探る学分野だ。

http://members.tripod.co.jp/nbz/ref/revmath.html

を読め。