利用者:鴎海/下書き

数学

• 論理学の基礎
• 集合論の基礎
  • 公理的集合論 I
• 数理論理学
  • 論理学
  • 公理的集合論 II
  • 証明論
  • モデル理論
  • 計算可能性理論（理論計算機科学の項も参照）
• 構成的数学
• 論理学の哲学
• 数学の哲学