Reverse Mathematics
Perfect Set
Quantifier (Logic)
Ur Element
Finite Set
Dense set
Alexandroff Extension
Appert Topology
Baire Space
Real and Abstract Analysis [Hewitt]
Axioms of Set Theory
Well Foundedness