Перейти к навигации Перейти к поиску
В этой статье не процитировать какие - либо источники . ( декабрь 2018 г. ) ( Узнайте, как и когда удалить это сообщение-шаблон ) |
В математической логике , алгебраическое определение является один , который можно дать , используя только уравнения между терминами с свободными переменными . Неравенства и количественные показатели специально запрещены.
Сказать, что определение является алгебраическим, - более сильное условие, чем сказать, что оно элементарно .
Эта статья по математической логике - незавершенная . Вы можете помочь Википедии, расширив ее . |