The statement "The successor of a number is a number" is true because because all numbers go in order into infinity.