Temel fonksiyon aritmetiği

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, +, ×, xy gibi temel özellikler kullanılan aritmetik sistemdir.

ÜFA, ω3 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 xy ile sembolize edilir,
  • Bir eşitsizlik ilişkisi sembolü <. Örneğin; a < b gösterimi; "a küçüktür b" anlamına gelir.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.