トップページ⇒math

1001コメント525KB

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

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

0110１３２人目の素数さん

2012/07/24(火) 11:56:22.79

>>108
第二不完全性定理だけでTの無矛盾性の証明はTでは決定不能（独立）

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