WikiDer > Элементарная теория

В математическая логика, элементарная теория тот, который включает аксиомы, используя только финишный логика первого порядка, без ссылки на теория множеств или используя любые аксиомы, которые постоянство прочности равно теории множеств.

Сказать, что теория элементарна, - более слабое условие, чем сказать, что она алгебраический.

Связанный

• Элементарное предложение
• Элементарное определение
• Элементарная теория действительных чисел

Рекомендации

• Мак Лейн и Мурдейк, Пучки в геометрии и логике: первое введение в теорию топоса, стр.4.

Этот математическая логика-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. v т е