Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (Q4477873)
From MaRDI portal
scientific article; zbMATH DE number 3001277
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I |
scientific article; zbMATH DE number 3001277 |
Statements
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (English)
0 references
1931
0 references
formally undecidable propositions
0 references
