A system which can define its own truth

DOI10.4064/fm-37-1-190-192zbMath0041.15002OpenAlexW348740728MaRDI QIDQ5801334

John Myhill

Publication date: 1950

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/213212

zbMATH Keywords

Philosophy and foundations of mathematics

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