The axiom of reducibility, though unprovable, may be a constitutive principle defining what counts a...
This proposition has not been edited since the history system was added.