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