# Gödel's incompleteness wrt weakend versions of ZFC

Suppose for the sake of argument that we look at ZFC with the axiom of infinity removed.

http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems#First_incompleteness_theorem

http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems#Second_incompleteness_theorem

We would then be in a position where the hypotheses of Gödel's theorems are not satisfied, correct? Basically, I want to remove, for the sake of argument, a minimal amount of axioms of ZFC so that ZFC minus some axiom(s) leads to a theory that does not include arithmetical truths and is not capable of expressing elementary arithmetic.

Is it possible that ZFC- (my shorthand for ZFC with some axiom(s) removed) is consistent and complete?

-
Let me say that the answer to your question is a trivial "No". It is trivial because if a system is non-complete and you take a weaker system (like for example one obtained deleting axioms of the initial system) then the weaker system is also non-complete. Another issue is what happens when one replaces an axiom with alternative ones (like replacing "Infinity Axiom" with "The negation of Infinity Axiom"). This is in general non trivial, and this is what other peopople has addressed in the answers to your question. – boumol May 27 '13 at 6:42
It doesn't seem that anyone addressed the "consistent" part of my question. If you remove axioms so that ZFC minus axioms is no longer capable of expressing arithmetic, wouldn't incompleteness no longer apply ?? Is there a connection between the consistency of a weak form of ZFC which is ZFC minus enough axioms to make it no longer capable of satisfying the hypotheses of incompleteness and axiom independence? – atat May 23 '15 at 15:08

ZF minus the axiom of infinity plus a new axiom negating the axiom of infinity is bi-interpretable with Peano Arithmetic. And the two equivalent theories are both subject to Gödelian incompleteness.

For the equivalence claim, see Richard Kaye and Tin Lok Wong's paper On interpretations of arithmetic and set theory (which incidentally explores some of the complications alluded to in the answer by @zyx).

-

In addition to Peter Smith's very correct answer, it should be noted that one can also remove the axioms of choice and regularity without any substantial change.

The reason is that we can still define the relevant finite ordinals and their arithmetics needed for the incompleteness theorems (and because arithmetical truths are absolute between inner models with the same ordinals, so they are true in $L$ which is a model of $\sf ZFC$).

Note also that if $T\subseteq\sf ZFC$ is consistent and complete then $\sf ZFC$ is complete as well (it extends a complete theory), but we know it isn't complete, so no smaller theory is complete -- regardless to the provability of the incompleteness theorems.

-

The standard answer is slightly incomplete. The true state of things is beautifully explained in Emil Jerabek's comments at http://mathoverflow.net/questions/63887/non-standard-models-of-finite-set-theory/ . Just to record it in one place, and to bring out a surprising point from that MO thread:

1. It is well known that, in a suitable sense, the ZF theory of non-infinite sets is equivalent to PA.

2. Less well known, but familiar to experts, is that there is a subtle point about how to define ZF minus infinity for the equivalence to PA to hold.

3. But the story does not end there, and is not only about this PA/ZF- equivalence! As revealed in the comments by Blass and Jerabek, the ZF axiom of foundation is oversimplified. In more general situations, one wants not foundation but $\in$ induction. In full ZF one can do without it, but this is not an indication of how to axiomatize the same idea in more finitistic or constructive forms of set theory, including variants of ZF.

-
"The standard answer" is (1), in case that was not evident. The surprise for me in reading the MathOverflow comments was that (2) is not a hypercorrection of a basically correct equivalence; the comment by Blass and its answer suggests that the traditional presentation of ZFC is not the last word on the subject. – zyx May 26 '13 at 20:47