Temel fonksiyon aritmetiği

Temel fonksiyon ile karıştırılmamalıdır.

Matematiksel mantığın bir dalı olan, ispat kuramında, temel fonksiyon aritmetiği veya üssel fonksiyon aritmetiği (ÜFA), genellikle miktarlarla sınırlandırılmış formüller için tümevarım ile birlikte 0, 1, +, ×, x^y gibi temel özellikler kullanılan aritmetik sistemdir.

ÜFA, ω³ sıralı analizli çok zayıf bir mantıksal sistemdir. Fakat yine de, çoğu sıral sayıları ispatlayabilir.

Tanım

ÜFA, birinci dereceden mantıkta bir sistemdir. Şu ifadelerden oluşur:

• İki sabit: 0 ve 1,
• Üç ikili işlem: +, ×, exp. exp(x,y), genellikle x^y ile sembolize edilir,
• Bir eşitsizlik ilişkisi sembolü <. Örneğin; a < b gösterimi; "a küçüktür b" anlamına gelir.