A proof that any aggregate can be well-ordered.

From MaRDI portal
Publication:5997219