Re: Godel proved maths inconsistent not incompleteness theorem

On Mar 16, 8:01 pm, Chris Menzel <cmen...@xxxxxxxxxxxxxxxxxxxx> wrote:
On Sat, 15 Mar 2008 01:25:35 -0700 (PDT), Charlie-Boo
<shymath...@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".

Wow, Charlie-Boo is STILL making that challenge and IGNORING replies.
I too gave him examples, from among thousands, and he just ignores
them. (Coincidentally, my next example to give him was, like yours,
'every Boolean algebra is isomorphic to a field of sets'. To me, it's
a beautiful theorem.

MoeBlee

.

Relevant Pages

  • Re: Godel proved maths inconsistent not incompleteness theorem
    ... ...the ZF axioms aren't used to prove anything outside of simple, ... Ignorant codswallop. ... The Stone Representation theorem (every Boolean Algebra is isomorphic ... Every normal function on the ordinals has arbitrarily large fixed ...
    (sci.logic)
  • Re: Godel proved maths inconsistent not incompleteness theorem
    ... ...the ZF axioms aren't used to prove anything outside of simple, ... Ignorant codswallop. ... The Stone Representation theorem (every Boolean Algebra is isomorphic ... Every normal function on the ordinals has arbitrarily large fixed ...
    (sci.logic)
  • Re: Godel proved maths inconsistent not incompleteness theorem
    ... ...the ZF axioms aren't used to prove anything outside of simple, ... Ignorant codswallop. ... The Stone Representation theorem (every Boolean Algebra is isomorphic ... Every normal function on the ordinals has arbitrarily large fixed ...
    (sci.logic)
  • Re: Axioms of Boolean Algebra got from Concept Algebra
    ... you DON'T start with a SET of axioms. ... My point is that we presume the naturals in defining the framework. ... A boolean algebra is just a realm in which all ... Even if you DON'T have a boolean algebra, ...
    (sci.logic)
  • Re: axiom of cardinality in boolean algebra?
    ... (just as each model of group theory is a group). ... There are TWO DIFFERENT relevant sets of axioms here. ... that carrier set. ... A "particular" boolean algebra DOESN'T get defined. ...
    (sci.logic)