Re: Implementable Set Theory and Consistency of ZFC

Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx> writes:

Jesse F. Hughes wrote:

Even assuming that there are four models rather than one, so what?
The point is that you have *not* given a proof of (5)-(8) using only
axioms (1)-(4). Thus, you have not done what you said.
Even if you show that there are seven models for (1)-(4) in which
(5)-(8) are also true, you haven't done what you said. Even if you
show there are *infinitely* many models satisfying this condition, you
haven't done what you said. So, perhaps you should either do what
you said or change your claim.

No. Because _nothing_ sensible ever counts as a proof in your conception
of mathematics.

Quite wrong. I've told you what counts as a proof of the claim that
(5)-(8) are theorems of (1)-(4). Namely, a proof of each of (5)-(8)
using only (1)-(4) as axioms.

What is so controversial about that?

Let those who can not keep up do not halt the parade ..

Uh huh.
--
Jesse F. Hughes
"Casting [Demi] Moore as a woman who has come to the New World so that
she can 'worship without fear or persecution' in _The_Scarlet_Letter_
is like casting Bruce Willis as Young Rene Descartes." -Joe Queenan
.

Relevant Pages