Re: Implementable Set Theory and Consistency of ZFC

In article <7fdf$47299556$82a1e228$31017@xxxxxxxxxxxxxxxx>,
Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx> wrote:

MoeBlee wrote:

On Oct 31, 1:38 am, Han de Bruijn <Han.deBru...@xxxxxxxxxxxxxx> wrote:

On the contrary, I think that Implementable Set Theory doesn't miss much
of mathematics' beauty and its power. Remember that I've found nine out
of the ten ZFC axioms worthwile to be implemented, meaning that they ARE
found to be a part of the real world. That's much more than I expected!

We've known all along, well before we ever met you on an Internet
board, that certain of the axioms (without the axiom of infinity) are
all true in certain models in which there are no infinite sets in the
domain of discourse. That's pretty much second semester set theory.

You look pathetic screaming like a rooster about having discovered
something that is just common knowledge.

If (ZFC-Infinity) emerges from the first four axioms, with the next four
axioms as theorems, and if that is well known, then we are finished. And
then I'm quite happy with it.

In order to claim that that 5-8 are theorems, you need proofs, which as
yet are not in evidence.
.

Relevant Pages