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

Теории первого порядка 00:04:11 Аксиоматизация Клини 00:09:47 Доказательство теоремы 00:32:09 Исчисление предикатов 00:50:30 Аксиоматизация формальной арифметики Дедекинда