Cebirsel tanım - Algebraic definition
 | Bu makale değil anmak hiç kaynaklar. (Aralık 2018) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin) |
İçinde matematiksel mantık, bir cebirsel tanım sadece ile terimler arasındaki denklemler kullanılarak verilebilen serbest değişkenler. Eşitsizliklere ve nicelik belirteçlerine özellikle izin verilmez.
Bir tanımın cebirsel olduğunu söylemek, öyle olduğunu söylemekten daha güçlü bir durumdur. temel.
 | Bu matematiksel mantık ile ilgili makale bir Taslak. Wikipedia'ya şu şekilde yardım edebilirsiniz: genişletmek. |