On a system of axioms which has no recursively enumerable arithmetic model
Tom 40 / 1953
Fundamenta Mathematicae 40 (1953), 56-61
DOI: 10.4064/fm-40-1-56-61
