Abstraction
Set theory
Function
Axiom
Euclidean geometry
David Hilbert
Ernst Cassirer
Property
Mereology
Mathematics
Logic
Mathematical logic