Аксиоматика Давида Гильберта 00:02:28 Особенности формального построения аксиоматических теорий 00:06:25 Аксиомы исчисления высказываний 00:26:22 Метатеорема дедукции и следствия из неё 00:32:43 Аксиомы исчисления предикатов 00:40:51 Интуиционизм и неконструктивные доказательства
Hide player controls
Hide resume playing