Zermelo-Fraenkel set theory
metalogic
formal logic
Zermelo's theorem
fixed set
theoretically
abstract universal
ratiocination
categorification
Besicovitch set
pointwise
metatheory
inwrought
logicomathematical
on paper
topological space
base
rationally
set up
righten
indurate
heuretic
organized
compose
hyperstructure
member
perfect
settle
pattern
perfect set
right-handed
hinge
ingrained
hieratic
founded
axiom of choice
conservative extension
fixed point
chain
directed
presumably
theoretize
theory-laden
logic
discrete topology
presumptively