Consistency statements in formal theories
Volume 72 / 1971
Fundamenta Mathematicae 72 (1971), 17-40
DOI: 10.4064/fm-72-1-17-40