トップページ⇒math

1001コメント525KB

数学基礎論・数理論理学　その13

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

0162１３２人目の素数さん

2012/07/29(日) 19:15:16.63

>>87 >>91

ロッサーがゲーデル命題の代わりに用いた命題は「この命題の否定は証明を
持たない」という日本語で合ってますか？

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