Peano arithmetic

axiomatic theory of the arithmetic of nonnegative integers

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

分类：

theoryarithmetic