代數・幾何・解析
代數的 (algebra)
代数学 - Wikipedia
操作。
Gottfried Wilhelm Leibniz
記號
言語
アルゴリズム - Wikipedia
インド數學
インドの数学 - Wikipedia
アラビア数学 - Wikipedia
幾何的 (geometry)
幾何学 - Wikipedia
證明。
Baruch De Spinoza
多樣體
圖形。空閒。視覺的直感
代數的 (algebra)
変換幾何学 - Wikipedia
(transformation geometry)
解析幾何学 - Wikipedia
(analytic geometry)
Erlanger 目錄
幾何的 (geometry)
綜合幾何学 - Wikipedia
(synthetic geometry)
初等幾何学 - Wikipedia
(elementary geometry)
Ευκλείδεια 幾何の公理系
定規とコンパスによる作図 - Wikipedia
折紙の数学 - Wikipedia#折り紙幾何学
折り紙公理 - Wikipedia
定規とコンパスによる作図 - Wikipedia#折り紙を利用した作図
解析的 (analytics)
代数幾何学 - Wikipedia
(algebraic geometry)
空閒上の函數環
ギリシャ數學
Greek mathematics - Wikipedia
バビロニア数学 - Wikipedia
エジプト数学 - Wikipedia
解析的 (analytics)
解析学 - Wikipedia
近似。
René Descartes
計算
無限
集合・寫像
中國數學
中国の数学 - Wikipedia
和算 - Wikipedia
特殊算 - Wikipedia
主觀
絕對精神
個體
なにこれ?
数学の統一理論 - Wikipedia
數學基礎論
数学基礎論 - Wikipedia
Foundations of mathematics - Wikipedia
foundation of mathematics in nLab
集合
論
型理論
圈
初等 topos
集合の圈の初等理論 (ETCS)
(elementary theory of the category of sets)
ETCS in nLab
fully formal ETCS in nLab
Elementary Theory of the Category of Sets - Wikipedia
F. William Lawvere “An elementary theory of the category of sets” 1964/12/15
圏論的集合論である ETCS における集合と写像の定義 - TakuLabo
置換公理型を認めない初等トポスの一般論の中で、集合 {x∈X|P(x)} はどのようにして構成されるのか - TakuLabo
一元體
Curry-Howard 對應
數學の不自然な有效性