KnowraSet theoryLinked fromLinked fromThe 54 pages that link to Set theory, each with the reason it gives.All 54Broader topic 1Related 19Narrower topic 29Compared with 5Type theoryCompared with: Set theory builds foundations from membership, whereas type theory organizes objects by types.Category theoryCompared with: Set theory organizes mathematics through membership, while category theory emphasizes maps and composition.Proof theoryCompared with: It studies foundational objects and axioms rather than formal derivations themselves.L. E. J. BrouwerCompared with: Brouwer challenged the classical foundations that treated mathematical entities as independently existing sets.Ordinal analysisCompared with: Its large-cardinal hierarchies pose strength comparisons that ordinal analysis handles only in specialized forms.