トップページ⇒math

1001コメント525KB

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

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

0096１３２人目の素数さん

2012/07/23(月) 10:03:20.24

>>67
とはいえ、
理論Tを真の算術とすれば
すぐに証明も否定の証明も不可能が、
真偽が決定不能というタルスキの定理の置き換えられる

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