Cantor'un teoremi, bir kümenin büyüklüğünün, o kümenin tüm alt kümelerinden oluşan "güç kümesinin" büyüklüğünden her zaman daha küçük olduğunu gösterir. Georg Cantor, 1891'de bu teoremi sonsuz kümeler için köşegenleme argümanı ile kanıtladı. Bu ispat, sonsuzlukların farklı büyüklüklerde olabileceğini ortaya koydu.
/profile/bfe51ebc-c64a-4f29-b524-5461630ede50.jpeg){kind=small}
/post/68655457-2a72-40e9-9122-bf8ba23c97df.png)