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