Transfinitní indukce: Porovnání verzí

Odebráno 26 bajtů ,  před 6 lety
m (r2.7.1) (Robot: Přidávám uk:Трансфінітна індукція)
===Verze druhá===
Pokud je X třída ordinálních čísel, která obsahuje prázdnou množinu, s každým ordinálem <math> \alpha \,\! </math> zároveň ordinál <math> \alpha + 1 \,\! </math> a pro každý [[limitní ordinál]] <math> \alpha \,\! </math>, který je podmnožinou X platí, že <math> \alpha \,\! </math> je zároveň prvkem X, pak tato třída X obsahuje všechna ordinální čísla, tj. X = '''''On'''''<br />
PokudJinými slovy pokud platí následující čtyři podmínky, pak X = '''''On''''':
Rozepsáno do lidské :o) podoby:<br />
Pokud platí následující čtyři podmínky, pak X = '''''On''''':
# <math> X \subseteq On</math>
# <math> \emptyset \isin X </math>
Anonymní uživatel