Hilbert program (1922)

Layer 0 — Mathematicsin the proof-theory subtree

D Hilbert 1922 + 'Grundlagen' 1928 finitary-consistency; modern modern foundational + Gödel 1931 incompleteness + 2024 ord-analysis still-open.