Печёнкин А. А. - Философия науки - Лекция 9

Формальная арифметика 00:09:10 Аксиомы арифметики Пеано 00:24:00 Логическое изложение аксиом арифметики Пеано 00:37:47 Теоремы формальной арифметики 00:41:06 Доказательство теорем