Re: Replacement of Cardinality

Liste des GroupesRevenir à s math 
Sujet : Re: Replacement of Cardinality
De : invalid (at) *nospam* example.invalid (Moebius)
Groupes : sci.logic sci.math
Date : 15. Aug 2024, 22:36:09
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v9lsca$13gef$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : Mozilla Thunderbird
Am 15.08.2024 um 20:36 schrieb Jim Burns:

Translate ¬∃ᴿx(x = 1/0) to
There is nothing to translate. "¬∃ᴿx = 1/0" is just a meaningless expression, because "1/0" is a undefined (non-denoting) term/name.

¬∃ᴿx: 0⋅x = 1
Now this is a meaningful statement.

Prove that.
Indeed! :-)
For this we might assume
      ∃ᴿx: 0⋅x = 1
and try to derive a contradiction from this assumption.
->Proof by contradiction (RRA).

Date Sujet#  Auteur
27 Jul 24 * Re: Replacement of Cardinality876Jim Burns
28 Jul 24 +* Re: Replacement of Cardinality866WM
28 Jul 24 i`* Re: Replacement of Cardinality865Jim Burns
29 Jul 24 i +* Re: Replacement of Cardinality33Ross Finlayson
29 Jul 24 i i`* Re: Replacement of Cardinality32Ross Finlayson
29 Jul 24 i i `* Re: Replacement of Cardinality31Ross Finlayson
29 Jul 24 i i  `* Re: Replacement of Cardinality30Jim Burns
29 Jul 24 i i   `* Re: Replacement of Cardinality29Ross Finlayson
29 Jul 24 i i    +- Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity)1Ross Finlayson
29 Jul 24 i i    `* Re: Replacement of Cardinality27Jim Burns
30 Jul 24 i i     `* Re: Replacement of Cardinality (ubiquitous ordinals)26Ross Finlayson
30 Jul 24 i i      +- Re: Replacement of Cardinality (ubiquitous ordinals)1Ross Finlayson
30 Jul 24 i i      `* Re: Replacement of Cardinality (ubiquitous ordinals)24Jim Burns
30 Jul 24 i i       `* Re: Replacement of Cardinality (ubiquitous ordinals)23Ross Finlayson
30 Jul 24 i i        +- Re: Replacement of Cardinality (ubiquitous ordinals)1Ross Finlayson
31 Jul 24 i i        `* Re: Replacement of Cardinality (ubiquitous ordinals)21Jim Burns
1 Aug 24 i i         `* Re: Replacement of Cardinality (ubiquitous ordinals)20Ross Finlayson
1 Aug 24 i i          `* Re: Replacement of Cardinality (ubiquitous ordinals)19Jim Burns
1 Aug 24 i i           `* Re: Replacement of Cardinality (ubiquitous ordinals)18Ross Finlayson
2 Aug 24 i i            `* Re: Replacement of Cardinality (ubiquitous ordinals)17Jim Burns
2 Aug 24 i i             `* Re: Replacement of Cardinality (ubiquitous ordinals)16Ross Finlayson
2 Aug 24 i i              +- Re: Replacement of Cardinality (ubiquitous ordinals)1Jim Burns
2 Aug 24 i i              +* Re: Replacement of Cardinality (ubiquitous ordinals)13FromTheRafters
2 Aug 24 i i              i`* Re: Replacement of Cardinality (ubiquitous ordinals)12Ross Finlayson
3 Aug 24 i i              i `* Re: Replacement of Cardinality (ubiquitous ordinals)11Jim Burns
4 Aug 24 i i              i  `* Re: Replacement of Cardinality (ubiquitous ordinals)10Ross Finlayson
4 Aug 24 i i              i   `* Re: Replacement of Cardinality (ubiquitous ordinals)9Jim Burns
4 Aug 24 i i              i    `* Re: Replacement of Cardinality (ubiquitous ordinals)8Ross Finlayson
4 Aug 24 i i              i     `* Re: Replacement of Cardinality (ubiquitous ordinals)7Jim Burns
4 Aug 24 i i              i      `* Re: Replacement of Cardinality (ubiquitous ordinals)6Ross Finlayson
4 Aug 24 i i              i       `* Re: Replacement of Cardinality (ubiquitous ordinals)5Jim Burns
4 Aug 24 i i              i        `* Re: Replacement of Cardinality (ubiquitous ordinals)4Ross Finlayson
4 Aug 24 i i              i         `* Re: Replacement of Cardinality (ubiquitous ordinals)3Jim Burns
4 Aug 24 i i              i          `* Re: Replacement of Cardinality (ubiquitous ordinals)2Ross Finlayson
4 Aug 24 i i              i           `- Re: Replacement of Cardinality (ubiquitous ordinals)1Jim Burns
2 Aug 24 i i              `- Re: Replacement of Cardinality (ubiquitous ordinals)1Jim Burns
29 Jul 24 i +* Re: Replacement of Cardinality830WM
29 Jul 24 i i`* Re: Replacement of Cardinality829Jim Burns
30 Jul 24 i i `* Re: Replacement of Cardinality828WM
30 Jul 24 i i  `* Re: Replacement of Cardinality827Jim Burns
31 Jul 24 i i   +* Re: Replacement of Cardinality13Moebius
31 Jul 24 i i   i+* Re: Replacement of Cardinality --- infinitesimal number system11olcott
31 Jul 24 i i   ii+* Re: Replacement of Cardinality --- infinitesimal number system6Moebius
31 Jul 24 i i   iii`* Re: Replacement of Cardinality --- infinitesimal number system5olcott
31 Jul 24 i i   iii +- Re: Replacement of Cardinality --- infinitesimal number system1Chris M. Thomasson
31 Jul 24 i i   iii `* Re: Replacement of Cardinality --- infinitesimal number system3Moebius
31 Jul 24 i i   iii  `* Re: Replacement of Cardinality --- infinitesimal number system2olcott
31 Jul 24 i i   iii   `- Re: Replacement of Cardinality --- infinitesimal number system1Moebius
31 Jul 24 i i   ii+* Re: Replacement of Cardinality --- infinitesimal number system3FromTheRafters
31 Jul 24 i i   iii+- Re: Replacement of Cardinality --- infinitesimal number system1olcott
31 Jul 24 i i   iii`- Re: Replacement of Cardinality --- infinitesimal number system1Ross Finlayson
31 Jul 24 i i   ii`- Re: Replacement of Cardinality --- infinitesimal number system1Jim Burns
31 Jul 24 i i   i`- Re: Replacement of Cardinality1WM
31 Jul 24 i i   `* Re: Replacement of Cardinality813WM
31 Jul 24 i i    `* Re: Replacement of Cardinality812Jim Burns
1 Aug 24 i i     `* Re: Replacement of Cardinality811WM
1 Aug 24 i i      `* Re: Replacement of Cardinality810Jim Burns
1 Aug 24 i i       +- Re: Replacement of Cardinality1Moebius
2 Aug 24 i i       `* Re: Replacement of Cardinality808WM
2 Aug 24 i i        `* Re: Replacement of Cardinality807Jim Burns
2 Aug 24 i i         +* Re: Replacement of Cardinality23Moebius
3 Aug 24 i i         i`* Re: Replacement of Cardinality22WM
3 Aug 24 i i         i +* Re: Replacement of Cardinality4joes
4 Aug 24 i i         i i`* Re: Replacement of Cardinality3WM
4 Aug 24 i i         i i `* Re: Replacement of Cardinality2Jim Burns
4 Aug 24 i i         i i  `- Re: Replacement of Cardinality1Moebius
3 Aug 24 i i         i `* Re: Replacement of Cardinality17Chris M. Thomasson
3 Aug 24 i i         i  +* Re: Replacement of Cardinality14FromTheRafters
4 Aug 24 i i         i  i`* Re: Replacement of Cardinality (real-valued)13Ross Finlayson
4 Aug 24 i i         i  i `* Re: Replacement of Cardinality (real-valued)12FromTheRafters
4 Aug 24 i i         i  i  `* Re: Replacement of Cardinality (real-valued)11Ross Finlayson
4 Aug 24 i i         i  i   `* Re: Replacement of Cardinality (real-valued)10Ross Finlayson
4 Aug 24 i i         i  i    `* Re: Replacement of Cardinality (real-valued)9Ross Finlayson
4 Aug 24 i i         i  i     +* Re: Replacement of Cardinality (real-valued)3Ross Finlayson
4 Aug 24 i i         i  i     i+- Re: Replacement of Cardinality (real-valued)1Ross Finlayson
4 Aug 24 i i         i  i     i`- Re: Replacement of Cardinality (real-valued)1Ross Finlayson
7 Aug 24 i i         i  i     `* Re: Replacement of Cardinality (real-valued)5Jim Burns
8 Aug 24 i i         i  i      `* Re: Replacement of Cardinality (real-valued)4Ross Finlayson
8 Aug 24 i i         i  i       `* Re: Replacement of Cardinality (real-valued)3Jim Burns
8 Aug 24 i i         i  i        `* Re: Replacement of Cardinality (real-valued)2Ross Finlayson
13 Aug 24 i i         i  i         `- Re: Replacement of Cardinality (real-valued)1Ross Finlayson
4 Aug 24 i i         i  `* Re: Replacement of Cardinality2Moebius
4 Aug 24 i i         i   `- Re: Replacement of Cardinality1WM
3 Aug 24 i i         `* Re: Replacement of Cardinality783WM
3 Aug 24 i i          `* Re: Replacement of Cardinality782Jim Burns
4 Aug 24 i i           +* Re: Replacement of Cardinality43Moebius
4 Aug 24 i i           i`* Re: Replacement of Cardinality42WM
4 Aug 24 i i           i +* Re: Replacement of Cardinality4Jim Burns
4 Aug 24 i i           i i+* Re: Replacement of Cardinality2Moebius
4 Aug 24 i i           i ii`- Re: Replacement of Cardinality1Jim Burns
4 Aug 24 i i           i i`- Re: Replacement of Cardinality1WM
5 Aug 24 i i           i `* Re: Replacement of Cardinality37Chris M. Thomasson
5 Aug 24 i i           i  `* Re: Replacement of Cardinality36Moebius
5 Aug 24 i i           i   +* Re: Replacement of Cardinality (quantifier disambiguation)5Ross Finlayson
5 Aug 24 i i           i   i`* Re: Replacement of Cardinality (quantifier disambiguation)4Ross Finlayson
5 Aug 24 i i           i   i `* Re: Replacement of Cardinality (quantifier disambiguation)3Jim Burns
5 Aug 24 i i           i   i  `* Re: Replacement of Cardinality (quantifier disambiguation)2Ross Finlayson
13 Aug 24 i i           i   i   `- Re: Replacement of Cardinality (quantifier disambiguation)1Ross Finlayson
5 Aug 24 i i           i   +* Re: Replacement of Cardinality4Chris M. Thomasson
5 Aug 24 i i           i   i`* Re: Replacement of Cardinality3Moebius
5 Aug 24 i i           i   i `* Re: Replacement of Cardinality2Moebius
5 Aug 24 i i           i   `* Re: Replacement of Cardinality26WM
4 Aug 24 i i           `* Re: Replacement of Cardinality738WM
29 Jul 24 i `- Re: Replacement of Cardinality1Moebius
29 Jul 24 `* Re: Replacement of Cardinality9Moebius

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal