Mengentheorie/Wohlordnungssatz/Fakt