数理論理学（数学基礎論）　その12

数理論理学（数学基礎論）　その12 at MATH

数理論理学（数学基礎論）　その12 - 暇つぶし2ch445:１３２人目の素数さん
18/01/01 11:42:10.76 OgKz+4d1.net
>>423
わかっているのなら、何が問題になっているのかがわかりません
数理論理で用いている数学の定理はメタであり、数理論理それ自体は形式的な論理です
形式的な論理を用いて数学を再構成することは可能ですよね

次ページ

続きを表示

1を表示