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

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

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

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

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

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

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

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

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

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

проективной плоскости над полем выполняется аксиома Паппа. Если выполняются аксиомы П1—П4 и аксиома Дезарга П5, то аксиома Фано П7 выполняется тогда и только тогда...