аксиоматизировать
〔动词〕 公理化
-рую, -руешь[未]что 使…公理化
(及物)使... 公理化
(希 axiōma)[未]使公理化
{使}公理化
(及物)使... 公理化
(希 axiōma)[未]使公理化
{使}公理化
слова с:
в китайских словах:
有限可公理化理论
конечно аксиоматизируемая теория
有限公理性
конечная аксиоматизируемость
公理类
аксиоматизируемый класс
公理化
аксиоматизация
公理集合论
аксиоматическая теория множеств
公理化语义 学
аксиоматическая семантика
策梅罗-弗伦克尔公理集合论
аксиоматическая теория множеств Цермело-Френкеля
公理定义
аксиоматическое определение
策梅罗-弗伦克尔集合论的公理系统
аксиоматическая система теории множеств Цермело-Френкеля
冯·诺伊曼集合论的公理系统
аксиоматическая система теории множеств фон Неймана
集合论的公理基础
аксиоматическое обоснование теории множеств
公理论的集论
аксиоматическая теория множеств
概率的公理化定义
аксиоматическое определение вероятности
公理体系, 公理系统
система аксиом; аксиоматическая система
公理结构
аксиоматическое построение
希尔伯特公理法
аксиоматический метод Гильберта
примеры:
(托勒玫型)欧几里得平行公理
аксиома параллельности Евклида в виде Птолемея
全分公理
[c][i]мат.[/i][/c] аксиома целого и части
分离(性)公理
аксиома отделимости
可数(性)公理
аксиома счетности; аксиомы счётности
和集(合)公理
аксиома суммы
子集(合)公理
аксиома подмножеств; аксиома множества всех подмножеств; аксиома множества частей
子集(合)公理, 分离公理
аксиома существования множества всех частей произвольного множества
完备(性)公理
аксиома полноты
并(集)公理
аксиома существования объединения; аксиома объединения; аксиома объединения двух множеств
普通公理
[i] [c]мат. [/c] [/i]общая аксиома ([i]в отличие от постулата[/i])
空集(合)公理
аксиома существования пустого множества
空集(合)公理, 零集(合)公理
аксиома нулевого множества
连续(性)定理
аксиома непрерывности
顺序公理
[c][i]мат.[/i][/c] аксиома порядка