Quantifier ranges in formal systems are defined by axioms (like Peano's), not presupposed; the claim...
This proposition has not been edited since the history system was added.