A puzzle about consistency

Let T₀ be ZFC. Let T_n be T_n − 1 plus the claim Con(T_n − 1) that T_n − 1 is consistent. Let T_ω be the union of all the T_n for finite n.

Here’s a fun puzzle. It seems that T_ω should be able to prove its own consistency by the following reasoning:

If T_ω is inconsistent, then for some finite n we have T_n inconsistent. But Con(T_n) is true for every finite n.

This sure sounds convincing! It took me a while to think through what’s wrong here. The problem is that although for every finite n, T_ω can prove Con(T_n), it does not follow that T_ω can prove that for every finite n we have Con(T_n).

To make this point perhaps more clear, assume T_n is consistent for all n. Then Con(T_n) cannot be proved from T_n. Thus any finite subset of T_ω is consistent with the claim that for some finite n the theory T_n is inconsistent. Hence by compactness there is a model of T_ω according to which for some finite n the theory T_n is inconsistent. This model will have a non-standard natural number sequence, and “finite” of course will be understood according to that sequence.

Here’s another way to make the point. The theory T_ω proves T_ω consistent if and only if T_ω is consistent according to every model M. But the sentence “T_ω is consistent according to M” is ambiguous between understanding “T_ω” internally and externally to M. If we understand it internally to M, we mean that the set that M thinks consists of the axioms of ZFC together with the ω-iteration of consistency claims is consistent. And this cannot be proved if T_ω is consistent. But if we understand “T_ω” externally to M, we mean that upon stipulating that S is the object in M’s universe whose members^M correspond naturally to the members^V of T_ω (where V is “our true set theory”), according to M, it will be provable that the set S is consistent. But there is a serious problems: there just may be no such object as S in the domain of M and the stipulation may fail. (E.g., in non-standard analysis, the set of finite naturals is never an internal set.)

(One may think a second option is possible: There is such an object as S in M’s universe, but it can’t be referred to in M, in the sense that there is no formula ϕ(x) such that ϕ is satisfied by S and only by S. This option is not actually possible, however, in this case.)

Or so it looks to me. But all this is immensely confusing to me.