984コメント406KB

数学基礎論・数理論理学　その15 [転載禁止]©5ch.io

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

0896１３２人目の素数さん

2015/05/24(日) 22:47:25.20ID:csHg0+LE

glivenkoの定理だっけ？
NKでAが証明可能⇔NJで￢￢Aが証明可能ってやつ

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