Category:Ordinals are Well-Ordered