Ordinal ëd von Neumann

Stamp:Prinsipi N'ansem a a l'é dit ordinal ëd von Neumann s'a l'é transitiv e si la relassion d'apartenensa $x\in y$ a l'é l'órdin ës-ciass associà a 'n bon órdin d'a. Un a peul antlora scrive:

• $x\le y\iff x\in y\vee x=y$,
• $x<y\iff x\in y\iff x\le y\wedge x\ne y$.

Për esempi, a son ordinaj ëd von Neumann:

• $0=\mathrm{\varnothing }$
• $1=\{\mathrm{\varnothing }\}$
• $2=\{\mathrm{\varnothing },\{\mathrm{\varnothing }\}\}$
• Pì an general, si a a l'é n'ordinal ëd von Neumann, ëdcò $a\cup \{a\}$ a-l l'é.

Minca bon órdin a l'é isomorf a n'ordinal ëd von Neumann. Stamp:Fin