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