Re: Replacement of Cardinality

On 7/28/2024 8:04 PM, Moebius wrote:

Am 27.07.2024 um 19:34 schrieb Jim Burns:

On 7/26/2024 12:31 PM, WM wrote:

_The rule of subset_ proves that [bla bla bla]

>
Where did Mückenheim get this "rule" from?
Any source?

Mückenheim is wishcasting.
The rule is that no sets are infiniteⁿᵒᵗᐧᵂᴹ.
The counter.argument is the roster of
the usual suspects: ℕⁿᵒᵗᐧᵂᴹ ℤⁿᵒᵗᐧᵂᴹ ℚⁿᵒᵗᐧᵂᴹ ℝⁿᵒᵗᐧᵂᴹ
It's underwhelming.
And yet,
his rule is better exposition than I can recall,
out of years of much.the.same,
to himself of his own thinking.
Perhaps one old dog can teach himself one new trick?