Bevis för att heltalen är oändliga många genom ett indirekt bevis (motsägelse).
Anta att heltalen är ändligt många. Låt oss då sätta det högsta heltalet som A. A ∈ ℤ (A tillhör mängden av heltal)
Då finns det alltid ett tal A + 1 > A.
Slutsats: Heltalen är oändligt många.