Incompleteness and constructible universe
Statement
Gödel’s incompleteness theorems limit formal provability; L (the constructible universe) models ZFC + V = L.
Formula
∃ true unprovable sentence in PA
Equation
Gödel numbering; diagonal
Source
Canonical lineament aligned with TANAAKK IAS Faculty Emeriti index (2026); consult specialist monographs for full proofs.
Domains
mathematics, logic