axiom of infinity
axiom of pairing
axiom of union
axiom of extensionality
Grothendieck universe
axiom of choice
Zermelo-Fraenkel set theory
axiom of regularity
computable
Matiyasevich's theorem
set theoretically
set theory
algebraic structure
axiom of countable choice
algebraic variety
uncountable set
quotient set
coefficient
determinate
all-knowing
set
superintuitionistic
omniscient
cardinal number
sets
hypercontinuum
Zenonism
order type
abstract universal
collection
subshift
Zermelo set theory
Cantor-Bendixson theorem
sethood
IP set
multialgebra
axiom of power set
NBG
maximal ideal
series
pseudointersection
theory
axiomatic system
Löwenheim-Skolem theorem
pseudoinfinite
setwise
normed
non-classical logic
Gleason's theorem
amorphous