 The set of real numbers is uncountable (see Cantor's first uncountability proof), and so is the set of all infinite sequences of natural numbers.The proofs of the statements in the above section rely upon the existence of functions with certain properties.This section presents functions commonly used in this role, but not the verifications that these functions have the required properties.