トップページ⇒math

1001コメント405KB

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

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

0511１３２人目の素数さん

2011/11/25(金) 22:51:17.77

>>506
定理で示される証明と
可証性述語が表現する証明はちげーよ

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