Лекция 6. Формальная аксиоматическая система Гильберта

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