Mirimanoff and von Neumann showed that transfinite hierarchies require a stopping point—an ur-elemen...