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

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