Да, арифметика сводима к логике. 1 Все аксиомы арифметики, за исключением одной, определимы в логике. 1

Если арифметика не сводима к логике, то как тогда работают современные ЭВМ? Они последовательно выполняют операции в соответствии с заданными алгоритмами. 23 При этом правильный алгоритм разрабатывает и закладывает программист. 2

Если арифметика сводима к логике, то это не опровергает теоремы Гёделя о неполноте? Это говорит о том, что логика, к которой сводима арифметика, тоже будет удовлетворять теоремам Гёделя. 2 При этом в прикладной области можно пользоваться неполными и даже противоречивыми системами. 2