Teorema ëd Hartogs
 |
Vos an lenga piemontèisa |
| Për amprende a dovré 'l sistema dle parlà locaj ch'a varda sì. |
L'enonsià[modìfica | modifiché la sorgiss]Ël teorema ëd Hartogs a fortiss che për minca ansem X a-i é n'ordinal ch'a l'é pa equipotent a gnun sot-ansem d'X. La dimostrassion[modìfica | modifiché la sorgiss]Admëtoma, për assurd, che minca ordinal a sia equipotent a chèich sot-ansem d'X. Mincadun, a travers minca bijession ch'a testimònia l'equipotensa, a smon un bon órdin an sl'ansem corëspondent. Associoma a minca ordinal α l'ansem dle cobie ordinà (Y,R) anté che e R a l'é 'n bon ordinament d'Y isomorf a α. Costa corëspondensa a l'é inietiva; aplicanda ël rampiass a soa anversa as otnirìa che la classa dj'ordinaj a l'é n'ansem. |
