A generalization of the incompleteness theorem

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

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