トップページ⇒math

1001コメント392KB

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

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

0052１３２人目の素数さん

2010/12/30(木) 00:31:12

>>45
完全性定理の証明に選択公理が使われてても問題ないのか？
納得できん

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