Editing Set theory (section)

=== Set-theoretic topology ===
{{Main|Set-theoretic topology}}

''Set-theoretic topology'' studies questions of [[general topology]] that are set-theoretic in nature or that require advanced methods of set theory for their solution. Many of these theorems are independent of ZFC, requiring stronger axioms for their proof. A famous problem is the [[Moore space (topology)|normal Moore space question]], a question in general topology that was the subject of intense research. The answer to the normal Moore space question was eventually proved to be independent of ZFC.