Foundations of Mathematics (数学基礎論)

  • Axioms (公理)
  • Category theory (圏論)
  • Logic (論理学)
  • Mathematical problems (数理問題)
  • Point-set topology@ (点集合トポロジー、点集合論的位相幾何)
  • Set theory (集合論)
  • Theorem proving (定理証明)

No comments: