diagonální důkaz

diagonální důkaz (Cantorův), mat . log . metoda využitá G. Cantorem při důkazu, že množina desetinných zlomků, a v důsledku toho i množina reálných čísel mezi 0 a l, není spočetná. D. d. se používá i při důkazu věty o nespočetnosti množiny všech podmnožin spočetné množiny.