Herbrand universe
theorisation
foot
fossilised
morality
formal logic
sortitive
algebraic structure
rootage
ossified
fossilized
in principle
setwise
Zermelo-Fraenkel set theory
discrete topology
valuation function
mouse
conservative extension
multilinear
directed
order
organon
hinge
rhyme or reason
orderliness
uncompromising
quasimeasure
methodically
axiom of extensionality
neocriticism
form
Cantor's theorem
stabilizer subgroup
draw up
domain of discourse
combination
phyllotaxis
Matiyasevich's theorem
plethysm
dictate
affirming the consequent
multialgebra
creative
semicreative
productive
coset