Foundations of Mathematics (数学基礎論)
Axioms (公理)
Category theory
(
圏論
)
Logic (論理学)
Mathematical problems (数理問題)
Point-set topology@ (点集合トポロジー、点集合論的位相幾何)
Set theory (集合論)
Theorem proving (定理証明)
No comments:
Post a Comment
Home
Subscribe to:
Posts (Atom)
No comments:
Post a Comment