Bounded arithmetic

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

カテゴリ：

axiomatic system