トップページ⇒math

984コメント406KB

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

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

0614１３２人目の素数さん

2015/02/08(日) 11:02:35.38ID:9SZrA8dH

そもそも>>609の言う
「形式的証明とは完全性定理が存在を主張しているところのものです。」

は、「形式的証明」の定義としてどうなの？

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