iff it is inconsistent.Gerhard Gentzen showed that the consistency and completeness of arithmetic can ... , "inconsistency" of the object.For a long period of time, it was believed that the Earth was flat, and that ... . Ultimately, the consistency of all of mathematics could be reduced to basic arithmetic. However Godel's s