See also Church numeral Description number PERSON@1 's incompleteness theorems PERSON@2 's incompleteness theorem References PERSON@1 , PERSON@3 , '' Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I '' , Monatsheft für Math .

References PERSON@1 , PERSON@3 , '' Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I '' , Monatsheft für Math .
