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