Category:Isomorphic Ordinals are Equal