В четвёртой главе мы интерпретируем язык формальной арифметики в пункте 4.3. У меня вопрос: откуда там взялся ноль, если мы берём натуральные числа? Может стоит сказать, что мы берём натуральные в объединении с нулём?
В четвёртой главе мы интерпретируем язык формальной арифметики в пункте 4.3. У меня вопрос: откуда там взялся ноль, если мы берём натуральные числа? Может стоит сказать, что мы берём натуральные в объединении с нулём?