Cantor's transfinite cardinals exist beyond ZFC; some totalities have determinate sizes even if unpr...
This proposition has not been edited since the history system was added.