Zermelo set theory
set
sets
set theoretically
set-theoretic
NBG
axiom of power set
set theory
well-order
axiom of infinity
axiom of regularity
Zermelo-Fraenkel set theory
Zorn's lemma
definitionism
sethood
premise
theory-laden
deductive
theorizing
premised
Grothendieck universe
axiom of union
Zermelo-Fraenkelian
mold
prelogic
greedoid
categorification
foot
Cantor's theorem
foretype
dictate
conservative extension
Herbrand's theorem
generative grammar
form
theorisation
idée mère
phraseology
prepattern
theorization
determinate
axiomatization
S
domain of discourse
first principles
fossilized
inclavated
rubric
ossified
logification