トップページ⇒math

1001コメント392KB

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

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

0216１３２人目の素数さん

2011/01/27(木) 11:39:27

>>208
> 古典述語論理の体系が決定不可能であることの証明って、
> 不完全性定理と同等のものですよね？

全く違います

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