Алгебраическое определение
В математической логике алгебраическое определение — это определение, которое можно дать, используя только уравнения между терминами со свободными переменными . Неравенства и кванторы категорически запрещены.
Сказать, что определение является алгебраическим, — это более сильное условие, чем сказать, что оно элементарно .
Связанный
[ редактировать ]Ссылки
[ редактировать ] | Эта математической логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |