Gödel incompleteness (1931)

Layer 0 — Mathematicsin the proof-theory subtree

K Gödel 1931 + 1939 incompleteness; modern modern foundational text + Rosser 1936 + 2024 ML-Lean-formalization Gödel-numbering reproductions.