Re: an important set theory post

On Sat, 26 Jul 2008 10:12:20 -0700 (PDT), calvin wrote:
On Jul 26, 1:06 pm, Dave Seaman <dsea...@xxxxxxxxxxxx> wrote:
...
Every term in mathematics (except one) has a definition.  The one
exception is the symbol for "is an element of" from set theory.
...

You just gave its definition.

Really? What is the definition of "is an element of"?


--
Dave Seaman
Third Circuit ignores precedent in Mumia Abu-Jamal ruling.
<http://www.indybay.org/newsitems/2008/03/29/18489281.php>
.

Relevant Pages

  • Re: Well Ordering the Reals
    ... most of the standard axioms would get scrapped ... you claim that set theory is ... theory in which to express virtually all of mathematics. ... S (call this function 'omega pre S'). ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... What I mean is set theory was not born just by the great thought of Cantor. ... of mathematics behind, which help greatly, and which even where necessary for the theory to be imagined. ... formalization, at a level up, for meta-theory. ... scientists and engineers doesn't have to be used by engineers. ...
    (sci.math)
  • Re: Life has no intrinsic interest in information...
    ... Or rather, different ideas about fundamental physics, ... In the past you also seemed to put some reality behind mathematical or ... Let's look at the old saw "every rule has an exception". ... mathematics, a statement demonstrated to exist by Godel. ...
    (talk.origins)
  • Re: Cantorian pseudomathematics
    ... What I mean is set theory was not ... >> prove only the mathematics we set out to prove and not statements about ... >> formalization that does not compromise the other criteria. ... >> or show a formalization that does not compromise the other criteria. ...
    (sci.math)
  • Re: Das Kalenderblatt 090921
    ... as the appropriate foundation for modern mathematics, ... and set theory itself, ... Unter einer „Menge“ verstehen wir jede Zusammenfassung M von ... Die Existenz von R baut sich auf die " Dedekind'schen Schnitte " auf - ...
    (de.sci.mathematik)
Quantcast