Re: Cantor Confusion

Lester Zick wrote:
"Definition" in mathematics would appear to mean pretty much whatever
people who claim to do mathematics say it means.

No, in mathematical logic we prove that there are certain definitional
forms that meet the criteria of elminability and non-creativity.

Ex: Cardinality is
card(x)= least ordinal(x) equinumerous(x).

Where did you read that definition? It's nonsense.

The definition I gave, which is not nonsense, is:

card(x) = the least ordinal equinumerous with x.

MoeBlee

.

Quantcast