aritmetiksel yüklem

önermeler mantığının doğrusal eklemleri, tümel ve tikel niceleyiciler, sabit ve değişken doğal sayılar ve toplama ile çarpma fonksiyonları aracılığı ile ifade edilebilen yüklem.