Re: Godel proved maths inconsistent not incompleteness theorem

On Sat, 15 Mar 2008 01:25:35 -0700 (PDT), Charlie-Boo
<shymathguy@xxxxxxxxx> said:
...
...the ZF axioms aren't used to prove anything outside of simple,
fairly obvious, statements about sets.

Ignorant codswallop. I gave you three examples (of thousands):

1. Every singular limit ordinal k with cofinality < card(k) lacks the
Souslin property.

2. The Stone Representation theorem (every Boolean Algebra is isomorphic
to a field of sets)

3. Every normal function on the ordinals has arbitrarily large fixed
points.

(Refutations welcome.)

Where "welcome" = "ignored".

.

Relevant Pages