The consistency of the axiom of universality for the ordering of cardinalities