Is it possible to have something which is uncountable, unenumerable, but finite?
>>16933724It would be very contradictory...
>>16933724Only indirectly. For example there are uncountable innumerable points along the length of a line, but they end before those on a longer line.
>>16933724it can be uncountable and immeasurable by specific systems but not all possible systems.
No. A set S is countable by definition if there is an injective function f: N -> S.
>>16933734Interesting. I wonder if there's some structure which collapses this and makes it direct.
>>16933724Constructively you may find different notions of uncountable and finite that may be non-exclusive, but then you need to be more precise about your precise foundations and the notions you're interested in.
