Давайте для начала определим, что такое "число элементов множества". Например, каково число элементов множества натуральных чисел? Целое ли оно?
Это Вы про алеф-нуль? Думаю, что целое. Хотя, чем чёрт не шутит...
Похоже, что шутит (только Бог). Как-нибудь выложу примеры на счёт алефа-нуль, обоснующие в некотором роде "нецелую конфинальность", очень похожую на иррациональность по отношению к рациональным, в частности целым длинам (отчасти, такая необычная конфинальность известна в современной теории множеств). С другой стороны, ув.
Busy_Beaver, действительно, определите строже, что есть "число элементов"? Почему половине яблока невозможно сопоставить целый элемент "половина яблока"? Когда играет роль такая нецелость?
Возможно следующая конструкция продвинет вопрос в нужную сторону (это совершенно гипотеза): Можно определить (достаточно просто в неком топологическом пространстве) некоторый "почти-отрезок" так, что в некоторых плоскостях, содержащих такой "почти-отрезок", он будет выглядеть как точка, а в некоторых - как полноценный отрезок. Возможно, что в каких-то случаях полуцелым целесообразно считать как сам почти-отрезок (как точечное множество), так и множество, состоящее из настоящих отрезков и почти-отрезков (Обоснование: а каким образом их объединять и пересекать?). Кроме того, можно ввести некоторую аксиоматику движения почти-отрезков такую, что например, прикладывая два таких почти-отрезка "сторонами", с которых они видятся как точки, получим целый, полноценный отрезок.