Элементарная теория
В математической логике элементарная теория — это теория , которая включает аксиомы, использующие только финитную логику первого порядка , без ссылки на теорию множеств или с использованием каких-либо аксиом, сила непротиворечивости которых равна силе теории множеств.
Сказать, что теория элементарна, — это более слабое условие, чем сказать, что она алгебраична .
Примеры
[ редактировать ]![[икона]](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1c/Wiki_letter_w_cropped.svg/20px-Wiki_letter_w_cropped.svg.png){kind=small} | Этот раздел нуждается в расширении . Вы можете помочь, добавив к нему . ( январь 2021 г. ) |
Примеры элементарных теорий включают:
- Теория групп
- Теория конечных групп
- Теория абелевых групп
- Теория полей
- Теория конечных полей
- Теория реальных замкнутых полей
- Аксиомизация евклидовой геометрии
Связанный
[ редактировать ]Ссылки
[ редактировать ] | Эта математической логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |