A system which can define its own truth
From MaRDI portal
Publication:5801334
DOI10.4064/fm-37-1-190-192zbMath0041.15002OpenAlexW348740728MaRDI QIDQ5801334
Publication date: 1950
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213212
Related Items
Metamathematische Begriffe in Standardtheorien ⋮ Dependence of variables construed as an atomic formula ⋮ Bibliography of John Myhill ⋮ On the idea(l) of logical closure ⋮ Ungroundedness in Tarskian languages