math/integers

Integers

definition via Peano’s Postulates: meserev 1-4