Bounded arithmetic

en-US/ˈbaʊndəd əˈɹɪθmətɪkn/
en-GB/ˈbaʊndɪd əˈɹɪθmətɪk/

زمرے:

axiomatic system