Peano arithmetic

axiomatic theory of the arithmetic of nonnegative integers

en-US/piˈɑnoʊ əˈɹɪθmətɪkn/

زمرے:

theoryarithmetic