Cantori diagonaaltõestus
Cantori diagonaaltõestus on Georg Cantorilt pärinev tõestus, et reaalarvude hulk ei ole loenduv. See ei olnud Cantori esimene tõestus reaalarvude hulga mitteloenduvuse kohta. Tema algne tõestus ei kasutanud kümnendmurde ega üldse ühtegi arvusüsteemi. Hiljem on selle tõestuse eeskujul konstrueeritud palju teisi tõestusi. Neid nimetatakse diagonaaltõestusteks.