Sujet : Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-standard)
De : ross.a.finlayson (at) *nospam* gmail.com (Ross Finlayson)
Groupes : sci.mathDate : 16. Nov 2024, 03:52:30
Autres entêtes
Message-ID : <Mp-cnUFXAoJ3laX6nZ2dnZfqn_GdnZ2d@giganews.com>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0
On 11/15/2024 02:37 PM, Jim Burns wrote:
If it is true that
our domain of discourse is a model of ST+PQ
then it is true that
our domain of discourse holds a standard integer.model.
>
What is Mirimanoff's argument that
it doesn't exist?
Mirimanoff's? Russell's Paradox.
That "If it is true that our domain of discourse
is a model of ST+PQ then it is true that our
domain of discourse holds a standard integer.model"
is a pretty long axiom - why not just say
"infinity", that's the usual approach.