Элементарное предложение - Википедия - Elementary sentence

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

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

Связанный

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

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