Re: Cantor and the binary tree



Virgil said:
> In article <MPG.1cffec5bbba6f1ec989d52@xxxxxxxxxxxxxxxxxxxxxxxxx>,
> Tony Orlow (aeo6) <aeo6@xxxxxxxxxxx> wrote:
>
> > Virgil said:
>
> > > > Mathematikers declare axioms and
> > > > consider them law, but they are educated guesses.
> > >
> > > They ARE law within that particular system of axioms.
>
> > That's a pretty small pond for such a walrus.
>
> Depends. NGB makes for a pond too big for TO to swim in.
> > >
> > > If TO thinks he can come up with a system of axioms that is better than,
> > > say, NBG, let him try.
>
> > I'll look into NBG carefully. thanks for the suggestion. Got a link with a
> > good
> > list of all the axioms? Thanx.
>
> http://www.ags.uni-sb.de/~pollet/omegaindex/theories/neumann-bernays-goed
> el.html
Thanks
>
> See also the Zermelo-Frankel system of axims.
>

--
Smiles,

Tony
.



Relevant Pages

  • Re: Cantor and the binary tree
    ... >> They ARE law within that particular system of axioms. ... NGB makes for a pond too big for TO to swim in. ...
    (sci.math)
  • Re: Nomenclature--sorta basic
    ... Law, Lemma, Axiom, Theorem, Principle, etc. ... That would be the most accurate, however, physics is riddled ... Axioms which define arithmetic. ...
    (sci.physics.relativity)
  • Re: Truth Among Mathematikers and Empirics
    ... It's a law. ... which is not self contradictory. ... WE HAVE AXIOMS, THEOREMS ...
    (sci.math)
  • dontbother invented a new math : "rules"
    ... It's a law. ... which is not self contradictory. ... WE HAVE AXIOMS, THEOREMS ...
    (sci.math)
  • Re: Relative Cardinality
    ... > Virgil wrote: ... And if it cannot and nevrr be determined which case is ... >>> The axioms are valid in mathematics. ... David Kastrup, Kriemhildstr. ...
    (sci.math)

Quantcast