Осуществляется ее строгая аксиоматизация, доказываются непротиворечивость, полнота и разрешимость этой системы. - Большая Энциклопедия Нефти и Газа
Большая Энциклопедия Нефти и Газа
Главная
Карта сайта
Поиск +
Поиск по рисункам
Помощь
Выдержка из книги Розенталь М.М. Философский словарь
Осуществляется ее
строгая аксиоматизация
, доказываются непротиворечивость, полнота и разрешимость этой системы.
(cкачать страницу)
Смотреть книгу на
libgen
Поделиться ссылкой:
