A theory is *inconsistent* if we can prove a contradiction using basic logic and the principles of that theory. Consistency is a much weaker condition that truth: if a theory *T* is true, then *T* consistent, since a true theory only allows us to prove true claims, and contradictions are not true. There are, however, infinitely many different consistent theories that we can construct using, for example, the language of basic arithmetic, and many of these are false. That is, they do not accurately describe the world, but are consistent nonetheless (one way of understanding such theories is that they truly describe some structure similar to, but distinct from, the standard natural number structure).

In 1931 Kurt Gödel published one of the most important and most celebrated results in 20^{th} century mathematics: the incompleteness of arithmetic. Gödel’s work, however, actually contains two distinct incompleteness theorems. The first can be stated a bit loosely as follows:

*First Incompleteness Theorem*: If *T* is a consistent, sufficiently strong, recursively axiomatizable theory, then there is a sentence “P” in the language of arithmetic such that neither “P” nor “not: P” is provable in *T*.

A few terminological points: To say that a theory is *recursively axiomatizable* means, again loosely put, that there is an algorithm that allows us to decide, of any statement in the language, whether it is an axiom of the theory or not. Explicating what, exactly, is meant by saying a theory is *sufficiently strong* is a bit trickier, but it suffices for our purposes to note that a theory is sufficiently strong if it is at least as strong as standard theories of arithmetic, and by noting further that this isn’t actually very strong at all: the vast majority of mathematical and scientific theories studied in standard undergraduate courses are sufficiently strong in this sense. Thus, we can understand Gödel’s first incompleteness theorem as placing a limitation on how ‘good’ a scientific or mathematical theory *T* in a language *L* can be: if *T* is consistent, and if *T* is sufficiently strong, then there is a sentence *S* in language *L* such that *T* does not prove that *S* is true, but it also doesn’t prove that *S* is false.

The first incompleteness theorem has received a lot of attention in the philosophical and mathematical literature, appearing in arguments purporting to show that human minds are not equivalent to computers, or that mathematical truth is somehow ineffable, and the theorem has even been claimed as evidence that God exists. But here I want to draw attention to a less well-known, and very weird, consequence of Gödel’s other result, the second incompleteness theorem.

First, a final bit of terminology. Given any theory *T*, we will represent the claim that *T* is consistent as “Con(*T*)”. It is worth emphasizing that, if *T* is a theory expressed in language *L*, and *T* is sufficiently strong in the sense discussed above, then “Con(*T*)” is a sentence in the language *L* (for the cognoscenti: “Con(*T*)” is a very complex statement of arithmetic that is *equivalent* to the claim that *T* is consistent)! Now, Gödel’s second incompleteness theorem, loosely put, is as follows:

*Second Incompleteness Theorem*: If *T* is a consistent, sufficiently strong, recursively axiomatizable theory, then *T* does not prove “Con(*T*)”.

For our purposes, it will be easier to use an equivalent, but somewhat differently formulated, version of the theorem:

*Second Incompleteness Theorem*: If *T* is a consistent, sufficiently strong, recursively axiomatizable theory, then the theory:

*T* + not: Con(*T*)

* *is consistent.

In other words, if *T* is a consistent, sufficiently strong theory, then the theory that says everything that *T* says, but also includes the (false) claim that *T* is inconsistent is nevertheless consistent (although obviously not true!) It is important to note in what follows that the second incompleteness theorem does not guarantee that a consistent theory *T* does not prove “not: Con(*T*)”. In fact, as we shall see, some consistent (but false) theories allow us to prove that they are not consistent even though they are!

We are now (finally!) in a position to state the main result of this post:

*Theorem*: There exists a consistent theory *T* such that:

*T* + Con(*T*)

is inconsistent, yet:

*T* + not: Con(*T*)

is consistent.

In other words, there is a consistent theory *T* such that adding the __true__ claim “*T* is consistent” to *T* results in a contradiction, yet adding the __false__ claim “*T* is inconsistent” to *T* results in a (false but) consistent theory.

Here is the proof: Let *T*_{1} be any consistent, sufficiently strong theory (e.g. Peano arithmetic). So, by Gödel’s second incompleteness theorem:

*T*_{2} = *T*_{1} + not: Con(*T*_{1})

is a consistent theory. Hence “Con(*T*_{2})” is true. Now, consider the following theories:

*(i) T*_{2} + not: Con(*T*_{2})

*(ii) T*_{2} + Con(*T*_{2})

Since, as we have already seen, *T*_{2} is consistent, it follows, again, by the second incompleteness theorem, that the first theory:

*T*_{2} + not: Con(*T*_{2})

is consistent. But now consider the second theory (ii). This theory includes the claim that *T*_{2} does not prove a contradiction – that is, it contains “Con(*T*_{2})”. But it also contains every claim that *T*_{2} contains. And *T*_{2} contains the claim that *T*_{1} __does__ prove a contradiction – that is, it contains “not: Con(*T*_{1})”. But if *T*_{1} proves a contradiction, then *T*_{2} proves a contradiction (since everything contained in *T*_{1} is also contained in *T*_{2}). Further, any sufficiently strong theory is strong enough to show this, and hence, *T*_{2} proves “not: Con(*T*_{2})”. Thus, the second theory:

*T*_{2} + Con(*T*_{2})

is inconsistent, since it proves both “Con(*T*_{2})” and “not: Con(*T*_{2})”. QED.

Thus, there exist consistent theories, such as *T*_{2} above, such that adding the (true) claim that that theory is consistent to that theory results in inconsistency, while adding the (false) claim that the theory is inconsistent results in a consistent theory. It is worth noting that part of the trick is that the theory *T*_{2} we used in the proof is itself consistent but not true.

This, in turn, suggests the following: in some situations, when faced with a theory *T* where we believe *T* to be consistent, but where we are unsure as to whether *T* is true, it might be safer to add “not: Con(*T*)” to *T* than it is to add “Con(*T*)” to *T*. Given that the majority of our scientific theories are likely to be consistent, but many will turn out to be false as they are overturned by newer, better, theories, this then suggests that sometimes we might be better off believing that our scientific theories are inconsistent than believing that they are consistent (if we take a stand on their consistency at all). But how can this be right?

*Featured image credit: Random mathematical formulæ illustrating the field of pure mathematics. Public domain via Wikimedia Commons.*

I would like to inform about the paper: T. J. Stępień, Ł. T. Stępień, “On the Consistency of the Arithmetic System”, Journal of Mathematics and System Science, vol. 7, 43 – 55 (2017) , arXiv:1803.11072 . In this paper, it has been proved that the well-known Arithmetic System is consistent in the traditional sense. The proof has been done within this Arithmetic System.