A system which can define its own truth
Tom 37 / 1950
Fundamenta Mathematicae 37 (1950), 190-192
DOI: 10.4064/fm-37-1-190-192
