984コメント406KB

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

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

0582１３２人目の素数さん

2015/02/06(金) 22:32:28.49ID:Jc2J942A

>>581
違う違う
それは正確には形式的証明の定義であり、
厳しい言い方をすれば、論理学にとって都合が良いので普通の数学の証明にも敷衍されると勝手に言ってるだけ

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