A generalization of the incompleteness theorem

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

Andrzej Mostowski Fundamenta Mathematicae 49 (1961), 205-232 DOI: 10.4064/fm-49-2-205-232