Grothendieck universe
axiom of infinity
Poincaré-Birkhoff-Witt theorem
formal logic
subset classifier
quasivariety
pseudomathematics
underlying set
algebraical
domain theory
linear algebraic
mathwise
subgroup
combinatorial geometry
numerical analysis
mathematicism
algebraicity
philomathematical
homological algebra
quasigroup
algebraic combinatorics
structure
Clifford module
Boolean algebra
perfect set
projective geometry
algebraically
diverge
exact science
graph-theoretically
algebraicness
universal set
Nullstellensatz
discrete topology
mathematicality
set theoretically
creative
ALU
semicreative
fractional calculus
productive
prealgebra
lambda term
magma
mathematician