Peano arithmetic

axiomatic theory of the arithmetic of nonnegative integers

ক্যাটাগরি: