Editing Consistency (section)

==References==
* {{cite journal |last1=Gödel |first1=Kurt |title=Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I |journal=Monatshefte für Mathematik und Physik |date=1 December 1931 |volume=38 |issue=1 |pages=173–198 |doi=10.1007/BF01700692}}
*{{cite book |first=Stephen |last=Kleene |author-link=Stephen Kleene |year=1952 |title=Introduction to Metamathematics |publisher=North-Holland |location=New York |isbn=0-7204-2103-9 }} 10th impression 1991.
*{{cite book |first=Hans |last=Reichenbach |author-link=Hans Reichenbach |year=1947 |title=Elements of Symbolic Logic |publisher=Dover |location=New York |isbn=0-486-24004-5 }}
*{{cite book |first=Alfred |last=Tarski |author-link=Alfred Tarski |year=1946 |title=Introduction to Logic and to the Methodology of Deductive Sciences |edition=Second |publisher=Dover |location=New York |isbn=0-486-28462-X }}
*{{cite book |first=Jean |last=van Heijenoort |author-link=Jean van Heijenoort |year=1967 |title=From Frege to Gödel: A Source Book in Mathematical Logic |publisher=Harvard University Press |location=Cambridge, MA |isbn=0-674-32449-8 }} (pbk.)
*{{cite book |title=[[The Cambridge Dictionary of Philosophy]] |chapter=Consistency }}
*{{cite book |first1=H. D. |last1=Ebbinghaus |first2=J. |last2=Flum |first3=W. |last3=Thomas |title=Mathematical Logic }}
*{{cite book |last=Jevons |first=W. S. |year=1870 |title=Elementary Lessons in Logic }}