An undecidable arithmetical statement

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

Andrzej Mostowski Fundamenta Mathematicae 36 (1949), 143-164 DOI: 10.4064/fm-36-1-143-164