Re: Implementable Set Theory and Consistency of ZFC



In article <c488f$4728977f$82a1e228$4409@xxxxxxxxxxxxxxxx>,
Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx> wrote:

So what's wrong with concluding that (1)-(4) also
entail ~Infinity?

The above & the axiom of Infinity is more complicated than my intuitive
understanding of it.

Han de Bruijn

HdB should avoid trying to dictate truths about things that even he
confesses he does not understand.
.



Relevant Pages