Editing Tarski's undefinability theorem (section)

==Further reading==
* {{cite book |first1=J. L. |last1=Bell |first2=M. |last2=Machover |year=1977 |title=A Course in Mathematical Logic |publisher=North-Holland}}
* {{cite book |author1-link=George Boolos |first1=G. |last1=Boolos |author2-link=John P. Burgess |first2=J. |last2=Burgess |author3-link=Richard Jeffrey |first3=R. |last3=Jeffrey |year=2002 |title=Computability and Logic |edition=4th |publisher=Cambridge University Press}}
* {{cite journal |author-link=John Lucas (philosopher) |first=J. R. |last=Lucas |year=1961 |url=http://users.ox.ac.uk/~jrlucas/Godel/mmg.html |title=Mind, Machines, and Gödel |archive-url=https://web.archive.org/web/20070819165214/http://users.ox.ac.uk/~jrlucas/Godel/mmg.html |archive-date=2007-08-19 |journal=Philosophy |volume=36 |issue=137 |pages=112–27|doi=10.1017/S0031819100057983 |s2cid=55408480 |doi-access=free }} 
* {{cite journal |first=R. |last=Murawski |year=1998 |url=http://www.staff.amu.edu.pl/~rmur/hpl1.ps |archive-url=https://web.archive.org/web/20110608131053/http://www.staff.amu.edu.pl/~rmur/hpl1.ps |archive-date=2011-06-08 |title=Undefinability of truth. The problem of the priority: Tarski vs. Gödel |journal=History and Philosophy of Logic |volume=19 |issue=3 |pages=153–160|doi=10.1080/01445349808837306 |url-access=subscription }}
* {{cite book | last=Smullyan | first=Raymond M. | title=Gödel's Incompleteness Theorems | publisher=Oxford University Press, USA | publication-place=Oxford | date=1992 | isbn=0-19-504672-2}}
* {{cite book |first=R. |last=Smullyan |year=2001 |chapter=Gödel’s Incompleteness Theorems |editor-first=L. |editor-last=Goble |title=The Blackwell Guide to Philosophical Logic |publisher=Blackwell | isbn=978-0-631-20693-4|pages=72–89}}

{{Metalogic}}
{{Theories of truth}}
{{Mathematical logic}}

[[Category:Mathematical logic]]
[[Category:Metatheorems]]
[[Category:Philosophy of logic]]
[[Category:Theorems in the foundations of mathematics]]
[[Category:Theories of truth]]