Was the Axiom of Reducibility a Principle of Logic