The axiom of reducibility is not derivable from standard logical axioms, making it a substantive mat...
This proposition has not been edited since the history system was added.