984コメント406KB

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

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

0394１３２人目の素数さん

2015/01/04(日) 20:28:27.27ID:9D6l8J09

違うよ
不完全性定理は形式体系の完全性（＝決定可能性
2階論理の完全性は意味論的完全性

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