Schütte (1958)

Layer 0 — Mathematicsin the proof-theory subtree

K Schütte 1958 + Feferman 1968 ordinal-analysis ε_0 + Γ_0; modern modern foundational + Rathjen 2005 KPM analytic-strength inaccessible.