Осуществляется ее строгая аксиоматизация, доказываются непротиворечивость, полнота и разрешимость этой системы. - Большая Энциклопедия Нефти и Газа



Выдержка из книги Айзенштейн В.А. Философский словарь


Осуществляется ее строгая аксиоматизация, доказываются непротиворечивость, полнота и разрешимость этой системы.

(cкачать страницу)

Смотреть книгу на libgen

Осуществляется ее строгая аксиоматизация,  доказываются непротиворечивость,  полнота и разрешимость этой системы.