Editing Theorem (section)

===Works cited===
* {{cite book |last1=Boolos |first1=George |author-link1=George Boolos|last2=Burgess |first2=John |author-link2=John P. Burgess|last3=Jeffrey |first3=Richard |title=Computability and Logic |date=2007 |publisher=Cambridge University Press |edition=5th}}
* {{cite book |last1=Enderton |first1=Herbert |author-link=Herbert Enderton|title=A Mathematical Introduction to Logic |date=2001 |publisher=Harcourt Academic Press |edition=2nd}}
* {{Cite book|author-link=Thomas Heath (classicist)|title=The works of Archimedes|last=Heath|first=Sir Thomas Little|publisher=Dover|year=1897|url=https://books.google.com/books?id=FIY5AAAAMAAJ&q=theorem|access-date=2009-11-15}}
* {{cite book |last1=Hedman |first1=Shawn |title=A First Course in Logic |date=2004 |publisher=Oxford University Press}}
* {{cite book |last1=Hinman |first1=Peter |title=Fundamentals of Mathematical Logic |date=2005 |publisher=A K Peters |location=Wellesley, MA}}
* {{Cite book|title = [[The Man Who Loved Only Numbers]]: The Story of Paul Erdős and the Search for Mathematical Truth|last = Hoffman |first=Paul |author-link=Paul Hoffman (science writer)|publisher = Hyperion, New York| year = 1998|isbn=1-85702-829-5}}
* {{cite book |last1=Hodges |first1=Wilfrid |author-link=Wilfrid Hodges |title=Model Theory |date=1993 |publisher=Cambridge University Press}}
* {{cite book |last1=Johnstone |first1=P. T. |title=Notes on Logic and Set Theory |date=1987 |publisher=Cambridge University Press}}
* {{cite book |last1=Monk |first1=J. Donald |title=Mathematical Logic |date=1976 |publisher=Springer-Verlag}}
* {{Cite book|title=A = B|url=https://dissertationeditinghelp.com/aeqb/|last=Petkovsek |first1= Marko|last2=Wilf |first2=Herbert|last3=Zeilberger|first3=Doron|publisher=A.K. Peters, Wellesley, Massachusetts|year=1996|isbn=1-56881-063-6}}
* {{cite book |last1=Rautenberg |first1=Wolfgang |title=A Concise Introduction to Mathematical Logic |date=2010 |publisher=Springer |edition=3rd}}
* {{cite book |last1=van Dalen |first1=Dirk |title=Logic and Structure |date=1994 |publisher=Springer-Verlag|edition=3rd}}
* {{cite book|first1=G. |last1=Wentworth |first2=D.E. |last2=Smith |year=1913 |title=Plane Geometry |publisher=Ginn & Co. |url=https://archive.org/details/planegeometry00gwen}}