Tag: foundational mathematics

Peano Arithmetic

A formal system of arithmetic using axioms by Giuseppe Peano, it provides…

Bossmind