1001コメント392KB

数学基礎論・数理論理学のスレッド　その7

■ このスレッドは過去ログ倉庫に格納されています

0780１３２人目の素数さん

2011/06/14(火) 20:53:50.41

ZF-無限公理とPAは互いに相手を解釈できるので
同じ強さだと思って良い
Kunenに書いてあるし直観的にも結構明らか

■ このスレッドは過去ログ倉庫に格納されています