Paradoks Buralego-Fortiego: Różnice pomiędzy wersjami

Fakt ten można uzasadnić nie wprost – zakładając, że istnieje zbiór <math>A</math>, którego elementami są wszystkie liczby porządkowe, można dojść do sprzeczności. Istotnie, na mocy [[aksjomat zastępowania|aksjomatu zastępowania]] istnieje podzbiór <math>B</math> tego zbioru, złożony tylko i wyłącznie ze wszystkich liczb porządkowych. Z [[arytmetyka liczb porządkowych|własności działań]] na liczbach porządkowych, zbiory