Cantor gave two proofs that the cardinality of the set of integers is strictly smaller than that of the set of real numbers (see Cantor's first uncountability proof and Cantor's diagonal argument).
Cantor tõestas kahel viisil, et täisarvude hulga võimsus on rangelt väiksem kui reaalarvude hulga võimsus (vaata Cantori esimene mitteloenduvuse tõestus ja Cantori diagonaaltõestus).