Without ramified orders, the axiom of reducibility must be introduced, which Quine and others argued...