системы аксиом. Аксиома выбора Аксиома параллельности Евклида Аксиома Архимеда Аксиома объёмности Аксиома регулярности Аксиома полной индукции Аксиома Колмогорова...

Аксиома Эскоба́ра или теорема Эскоба́ра — интернет-мем и ненаучный термин, представляющий собой фразу украинского музыканта по прозвищу Эскобар. Она служит...

свою систему аксиом. Гильберт разделил аксиомы на несколько групп: аксиомы принадлежности, конгруэнтности, непрерывности (в том числе аксиома Архимеда),...

Аксиома непрерывности — аксиома, которая встречается в различных аксиоматических системах. Аксиоматика вещественных чисел Аксиоматика Гильберта евклидовой...

случае для бесконечных семейств аксиома выбора не следует из других аксиом и является независимым утверждением. Аксиома выбора была сформулирована и опубликована...

прямые пересекаются, и следовательно, не выполнена ни аксиома о параллельных Евклида, ни аксиома Лобачевского, не совместимы с абсолютной геометрией. Геометрия...

описывается группой аксиом порядка, куда входит и аксиома Паша, которая формулируется следующим образом: Аксиома Паша является аксиомой абсолютной геометрии...

сложности вычислений аксиомы Блюма — это аксиомы, которые определяют свойства мер сложности на множестве вычислимых функций. Впервые эти аксиомы были сформулированы...

Аксио́ма паралле́льности Евкли́да, или пя́тый постула́т, — одна из аксиом, лежащих в основании классической планиметрии. Впервые приведена в «Началах»...

через фундаментальное свойство функции следования. Девятая и последняя аксиома на языке логики второго порядка — о принципе математической индукции над...

{\displaystyle d(x,y)=0\Leftrightarrow x=y} (аксиома тождества); d ( x , y ) ⩾ 0 {\displaystyle d(x,y)\geqslant 0} (аксиома положительности); d ( x , y ) = d (...