Elementární funkční aritmetika

V teorii důkazů, odvětví matematické logiky, je elementární funkční aritmetika (EFA), zvaná i exponenciální funkční aritmetika, systém aritmetiky s obvyklými elementárními vlastnostmi 0, 1, +, ×, x^y, spolu s indukcí pro vzorce s ohraničenými kvantifikátory.

EFA je slabý logický systém, kterého důkazový teoretický ordinál je ω³, ale asi stačí na důkaz většiny ordinální matematiky, která může být vyjádřena v jazyce aritmetiky prvního řádu.

Reference

V tomto článku byl použit překlad textu z článku Elementary function arithmetic na anglické Wikipedii.