Original: See also Church numeral Description number Gödel 's incompleteness theorems Chaitin 's incompleteness theorem References Gödel , Kurt , '' Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I '' , Monatsheft für Math .
Simplified: References Gödel , Kurt , '' Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I '' , Monatsheft für Math .