論理学の「正しさ」について
メモ
戸次 大介; "数理論理学"の7章などを参考にすること
論理の正しさは集合論の正しさに依存している（解釈関数などを考えるなら）
集合論の正しさは誰が保証するのか？
集合論の正しさを論理学が保証するなら循環論法では？
論理学は集合論に基づく，集合論は論理学に基づく
→ 証明論へ…
#論理学