Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Inconsistency of the usual axioms of set theory
Replies: 71   Last Post: Apr 11, 2009 9:24 PM

 Messages: [ Previous | Next ]
 Student of Math Posts: 87 Registered: 4/13/06
Re: Inconsistency of the usual axioms of set theory
Posted: Feb 22, 2009 10:16 AM

On Feb 16, 2:13 pm, Aatu Koskensilta <aatu.koskensi...@uta.fi> wrote:
> Student of Math <omar.hosse...@gmail.com> writes:
>

> > Any ways, there is my short paper and the idea of it is so simple to
> > understand.

>
> What paper is that?
>

> > I shwed that The set which its exsitence is asserted by axiom of
> > infinity, and it has no elements with an infinite descending chain
> > each a member of the next is of the form (1) (the equation (1) in my
> > paper), but (1) is not first-order experssible.

>
> It is well known that if ZFC is consistent it has non-wellfounded
> models, e.g. by simple appeal to compactness. It seems you attach some
> obscure significance to this technicality. Why is that?
>
> --
> Aatu Koskensilta (aatu.koskensi...@uta.fi)
>
> "Wovon man nicht sprechen kann, darüber muss man schweigen"
>  - Ludwig Wittgenstein, Tractatus Logico-Philosophicus

You can not advise consistency of ZF by its models, as there is no
proof of the claim that
ZF has a model. As you must know a first-order theory is consistent if
and onlu if it has a model.
So you have assumed S be true, and then you discuss if S is true or
false?!

Date Subject Author
2/12/09 Student of Math
2/12/09 lwalke3@lausd.net
2/13/09 David C. Ullrich
2/13/09 Student of Math
2/13/09 J. Antonio Perez M.
2/16/09 amy666
2/20/09 hagman
2/16/09 Student of Math
2/17/09 David C. Ullrich
2/18/09 Student of Math
2/18/09 Jack Markan
2/19/09 David C. Ullrich
2/19/09 amy666
2/20/09 David C. Ullrich
2/22/09 amy666
2/22/09 Tim Little
2/27/09 David Libert
2/23/09 David C. Ullrich
2/24/09 Student of Math
2/24/09 Jack Markan
3/20/09 lwalke3@lausd.net
3/20/09 Jesse F. Hughes
3/21/09 lwalke3@lausd.net
4/11/09 Student of Math
4/11/09 Tim Little
2/21/09 Student of Math
2/21/09 Mariano
2/22/09 David C. Ullrich
2/22/09 Student of Math
2/23/09 David C. Ullrich
2/22/09 Student of Math
2/22/09 Tim Little
2/23/09 David C. Ullrich
2/24/09 Student of Math
2/24/09 David C. Ullrich
2/24/09 Jack Markan
2/25/09 Tim Little
2/22/09 J. Antonio Perez M.
2/22/09 Mariano
2/23/09 Jack Markan
2/23/09 Dave Seaman
2/24/09 Student of Math
2/24/09 J. Antonio Perez M.
2/24/09 David C. Ullrich
2/24/09 Dave Seaman
2/26/09 David R Tribble
2/16/09 Student of Math
2/16/09 Aatu Koskensilta
2/16/09 Mariano
2/16/09 victor_meldrew_666@yahoo.co.uk
2/16/09 amy666
2/22/09 Student of Math
2/22/09 amy666
2/22/09 Tim Little
2/24/09 amy666
2/24/09 Jesse F. Hughes
2/25/09 amy666
2/25/09 Tim Little
2/26/09 amy666
2/27/09 Jack Markan
2/26/09 David C. Ullrich
2/23/09 David C. Ullrich
2/23/09 Jesse F. Hughes
2/25/09 Aatu Koskensilta
2/25/09 Jesse F. Hughes
2/26/09 David C. Ullrich
3/19/09 amy666
3/19/09 Jack Markan
3/20/09 David C. Ullrich
2/23/09 David C. Ullrich
2/23/09 Jack Markan
2/22/09 David R Tribble