Następnik liczby porządkowej: Różnice pomiędzy wersjami

lit.
(drobne redakcyjne)
(lit.)
'''NastępnikiNastępnik liczby porządkowej''' – najmniejsza [[liczby porządkowe|liczba porządkowa]] większa niż <math>\alpha</math>. Liczbę, która jest następnikiem pewnej liczby porządkowej, nazywa się '''liczbą następnikową'''. Każda liczba porządkowa różna od <math>0</math> jest albo liczbą następnikową, albo [[graniczna liczba porządkowa|graniczną liczbą porządkową]].
 
Używając liczb porządkowych [[John von Neumann|von Neumanna]] (standardowego modelu używanego obecnie w teorii mnogości), następnikiem liczby porządkowej <math>\alpha</math> jest <math>S(\alpha)</math> dana wzorem: