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

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

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

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

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

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

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

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

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

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

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