Peano's postulates example