Лекция 2 (продолжение). Независимость и категоричность аксиоматической теории натуральных чисел
План лекции (продолжение Лекции 2)
2.5 Вычитание и деление натуральных чисел
2.6 Независимость аксиомы математической индукции от остальных аксиом
2.7 Категоричность аксиоматической теории натуральных чисел
2.8 Непротиворечивость арифметики