Lankide:Iirigoien/Proba orria

Cantorrek 1891n frogatu zuen emaitza hori, N-ren funtzio bereizgarrien multzorako (osoko naturalen multzorako), eta, gero, 0 eta 1 arteko errealen arteko tartearen funtzio bereizgarrien multzorako. Hala ere, esan zuen emaitza edozein multzotara zabal zitekeela, eta horrek anbiguotasunik gabe uzten zuela bere metodoa.

Edozein A multzoren ${\mathcal {P}}(A)$ P(A) potentzia-multzoaren kardinala A multzoaren kardinala baino hertsiki handiagoa da.