このページに関してのお問い合わせはこちら
数学基礎論・数理論理学 その10
ツイート
601
:
スレタイスレ446
:
2011/11/30(水) 07:48:04.07
>>600
>PRAはPAの保守拡大どころか、それより弱い体系なんだけど……
確かにそうでしたね・・・。
量化付きの文の帰納法が制限されていたのを忘れていました。
だから有限の立場というんだった。