论文信息 - Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I - 字舞流文

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

[1] K. Gödel. Die Vollständigkeit der Axiome des logischen Funktionenkalküls , 1930 .

[2] J. Neumann. Zur Hilbertschen Beweistheorie , 1927 .