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

[0431 １３２人目の素数さん 2018/01/01(月) 11:42:10.76 ID:OgKz+4d1]

>>422
わかっているのなら、何が問題になっているのかがわかりません
数理論理で用いている数学の定理はメタであり、数理論理それ自体は形式的な論理です
形式的な論理を用いて数学を再構成することは可能ですよね