Лекция 19. Аксиоматика Давида Гильберта

  1. 00:19Аксиоматика Гильберта
  2. 02:28Особенности формального построения аксиоматических теорий
  3. 06:25Аксиомы исчисления высказываний
  4. 26:22Метатеорема дедукции и следствия из неё
  5. 32:43Аксиомы исчисления предикатов
  6. 40:51Интуиционизм и неконструктивные доказательства