Well-orderings are legitimate mathematical structures that can define determinate selections without...
This proposition has not been edited since the history system was added.