Need help interpreting this page?
Mathematics›Mathematical Logic

Set Theory (Mathematical Logic)

11 frameworks
Guided mode
Pick a framework
2Read first article
3Unlock full tools

Frameworks Timeline: Set Theory (Mathematical Logic)

Need help reading this timeline?
18742026190019502000Constructibility Program (L) (1938–2026, low uncertainty)Constructibility Program (L)Descriptive Set Theory (1916–2026, low uncertainty)Descriptive Set TheoryForcing Axioms Program (1982–2026, low uncertainty)Forcing Axioms Progr…Forcing Method (1963–2026, broad uncertainty)Forcing MethodInner Model Theory (1965–2026, low uncertainty)Inner Model TheoryLarge Cardinal Axioms (1930–2026, low uncertainty)Large Cardinal AxiomsMultiverse Set Theory (1963–2026, low uncertainty)Multiverse Set TheoryNaive Set Theory (1874–1908, low uncertainty)Naive Set TheoryType Theory (1908–2026, low uncertainty)Type TheoryUniverse View (V) (1908–2026, broad uncertainty)Universe View (V)Zermelo-Fraenkel Set Theory (1908–2026, low uncertainty)Zermelo-Fraenkel Set Theory
Constructibility Program (L)Methodological School·1938-Present(low)· logic.set_theory
Last generated: UnknownLast reviewed: Unknown
1874
Sign in to run the workflow
Verification, relations, and article generation require login.
Loading workflow...

Framework graph for Set Theory (Mathematical Logic)

Graph unlocks after your first article
Keep going in the workflow panel to unlock full graph and evidence tools.