Не знаю, как в разных аксиоматиках, но мне кажется, что вначале определяется понятие отрезка натурального ряда как множества натуральных чисел, не больших некоторого

. Потом определяется конечное множество как равномощное некоторому отрезку натурального ряда. Доказывается, что только одному.
Число элементов конечного множества принимается равным соответствующему

, то есть число элементов конечного множества может быть только натуральным числом. Для множеств, не являющимися конечными, понятие числа элементов не определяется. У них определена только мощность.
Может быть есть ещё какие системы аксиом и определений?
В сообщении о нечётких множествах я говорил не о числе элементов, а о
количестве элементов.