Какие существуют способы подсчета количества натуральных чисел в математической логике?

Некоторые способы подсчёта количества натуральных чисел в математической логике:

• Обычный подсчет. scorcher.ru Каждое натуральное число кладут в соответствующий ящик и при этом называют его значение: один, два, три и так далее. scorcher.ru Одновременно с каждым чётным числом кладут такую же цифру во второй ящик, с каждым нечётным — в третий ящик. scorcher.ru
• Неявное перечисление. rubtsov.su Например, множество N0 = {0, 1, 2, 3, . . .} состоит из всех натуральных чисел. rubtsov.su
• Использование вычислимых функций. old.mccme.ru Непустое множество натуральных чисел разрешимо тогда и только тогда, когда оно есть множество значений всюду определённой неубывающей вычислимой функции с натуральными аргументами и значениями. old.mccme.ru