Chronology | Current Month | Current Thread | Current Date |
[Year List] [Month List (current year)] | [Date Index] [Thread Index] | [Thread Prev] [Thread Next] | [Date Prev] [Date Next] |
If the axiom system of a deductive theory is complete, and if any
sentence which can be formulated but not proved within that theory is
added to the system, then the axiom system extended in this manner is no
longer consistent. - Tarski, Alfred, *Introduction to Logic ...*, Oxford,
New York (1994), p. 133.