Name: Печёнкин А. А. - Философия науки - Лекция 8
Uploaded: 2021-04-20T08:48:11+03:00
Duration: T1H8M17S
Description: Видео автора «Teach-In» в Дзене 🎦: Теории первого порядка 00:04:11 Аксиоматизация Клини 00:09:47 Доказательство теоремы 00:32:09 Исчисление предикатов 00:50:30 Аксиоматизация формальной арифметики Дедекинда