Re: Implementable Set Theory and Consistency of ZFC

Jesse F. Hughes wrote:

I will say it once more. I am typing this slowly, since I don't want
you to miss anything I say. If you have a proof in a theory
consisting of axioms (1)-(4), it is also a proof in the theory
consisting of axioms (1)-(4)+(X).

How do you "know" that? Has the Pope told you, by dogma, that it is so?

Han de Bruijn

.

Relevant Pages