Peano algebra