Основы математической логики и теории чисел: аксиоматические определения сложения и умножения, законы, а также определение вычитания и деления. Изучение аксиом Пеано и построение сложения через систему аксиом