1001コメント392KB

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

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

0208１３２人目の素数さん

2011/01/26(水) 19:40:32

現代数理論理学序説の９３ページの
古典述語論理の体系が決定不可能であることの証明って、
不完全性定理と同等のものですよね？

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