An undecidable arithmetical statement
Tom 36 / 1949
Fundamenta Mathematicae 36 (1949), 143-164
DOI: 10.4064/fm-36-1-143-164