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
axiom of countable choice
algebraic structure
algebraic variety
quotient set
coefficient
uncountable set
all-knowing
superintuitionistic
determinate
sets
omniscient
cardinal number
set
hypercontinuum
collection
order type
Zenonism
abstract universal
Zermelo set theory
Cantor-Bendixson theorem
subshift
IP set
multialgebra
sethood
axiom of power set
series
maximal ideal
NBG
theory
axiomatic system
pseudointersection
pseudoinfinite
Gleason's theorem
normed
Löwenheim-Skolem theorem
group
axiomatically
mathematical group