Второе заседание студенческого математического семинара

Докладчик сформулировал аксиомы Пеано, лежащие в основе строгой теории натуральных чисел и описывающие базовые свойства операции прибавления единицы. На основании этих аксиом было доказано, что любое натуральное число, кроме единицы, имеет предшествующее ему число. Затем было дано аксиоматическое определение сложения натуральных чисел и показано, что операция сложения, удовлетворяющая этому определению, существует и единственна. Отдельные моменты в представленных доказательствах вызвали оживлённое обсуждение участников семинара. Слушатели убедились в том, что даже простейшие арифметические действия и правила из курса начальной школы таят в себе нетривиальное математическое содержание, если приводить этот материал в соответствие с современными стандартами математической строгости.

В конце семинара слушатели поделились своими впечатлениями от доклада, а Андрей пообещал представить его продолжение на следующем заседании. Ведущий семинара, доцент кафедры математического анализа и теории функций Кокурин Михаил Михайлович, подвёл итоги состоявшихся обсуждений и посоветовал слушателям несколько книг для самостоятельного знакомства с основаниями арифметики.