Cantori diagonaaltõestus: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu
Thijs!bot (arutelu | kaastöö)
Kamma (arutelu | kaastöö)
PResümee puudub
1. rida:
'''Cantori diagonaaltõestus''' on [[Georg Cantor]]ilt pärinev tõestus, et [[reaalarv]]ude hulk ei ole [[loenduv hulk|loenduv]].
 
See ei olnud Cantori esimene tõestus, et reaalarvude hulk on loenduv. Tema [[Cantori esimene mitteloenduvuse tõestus|algne tõestus]] ei kasutanud [[kümnendmurd]]e ega üldse ühtegi [[arvusüsteem]]ili.
 
Hiljem on selle tõestuse eeskujul konstrueeritud palju teisi tõestusi. Neid nimetatakse [[diagonaaltõestus]]teks.