3 ms·

I'm not saying there's a definition that works down that path (I don't know); I'm saying that "we only have multiple infinities because of this definition, whic

I'm not saying there's a definition that works down that path (I don't know); I'm saying that "we only have multiple infinities because of this definition, which people objected to because it didn't give us enough infinities" seems a little muddled.

cubefox 4y ago
The argument seems to be rather that intuitions for size and subsethood and bijection aren't compatible anymore, which is a reductio argument against assuming that size comparisons make any sense for infinities at all.