Смотреть видео: 1.2. Аксиоматическое определение натуральных чисел