Axiom of uniformization