IV век до н.э. в Индии

Формальная система Определение формальной системы Формальная система – это абстрактная структура, используемая для вывода теорем из аксиом.  Дэвид Гильберт предложил […]

Формальная система Формальная система – абстрактная структура и формализация аксиоматической системы для вывода теорем.  Дэвид Гильберт предложил использовать формальные системы