It is the real definition of 2 that 2 is the successor of 1, but not the real definition of 2 that 2...