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

Формальная аксиоматическая система Гильберта 00:00:19 Характеристика систем Гильберта 00:07:33 Формальная аксиоматическая система 00:25:04 Построение аксиоматической системы Гильберта 01:05:14 Метатеорема о дедукции