Schema-theoretic proofs work by formal derivation rules, not by presupposing quantifier ranges—the r...
This proposition has not been edited since the history system was added.