Twierdzenie Cantora – twierdzenie teorii mnogości udowodnione przez Georga Cantora mówiące, że każdy zbiór ma moc mniejszą niż rodzina jego wszystkich podzbiorów, czyli jego zbiór potęgowy. Konsekwencje tego faktu:
zbiór liczb rzeczywistych jest nieprzeliczalny – większy od zbioru liczb naturalnych[1];