Перейти к навигации Перейти к поиску
В математической логике , элементарное определение является определением , которое может быть сделано с использованием только финитной логики первого порядка , и , в частности , без привязки к теории множеств или с использованием расширений , такие как множественное число квантификации . Элементарные определения представляют особый интерес, потому что они допускают полный аппарат доказательства, но в то же время достаточно выразительны, чтобы поддерживать большую часть повседневной математики (за счет добавления элементарно выражаемых аксиом, таких как теория множеств Цермело – Френкеля (ZFC)).
Сказать, что определение является элементарным, - более слабое условие, чем сказать, что оно является алгебраическим .
Связанные [ править ]
Ссылки [ править ]
- Мак Лейн и Мурдейк, Пучки в геометрии и логике: первое введение в теорию топоса, стр. 4.
 | Эта статья по математической логике - незавершенная . Вы можете помочь Википедии, расширив ее . |