Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
Book
Formal Antecedent
Foundations and Logic
Citation
Kurt Gödel. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik. 38. pp. 173–198.
Why this reference is included
Gödel’s Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (1931) is part of the program’s reference corpus, acknowledged as a formal antecedent in Foundations and Logic whose structures inform the framework’s vocabulary. It is retained in the corpus for completeness, though it is not directly cited in the currently published volumes of Panta Rhei.
Corpus status
In the corpus only This reference is part of the research corpus but is not directly cited in the currently published volumes of Panta Rhei.