ordered logic

1. redirect higher-order logic#Quantification scope

{{rcatsh|

{{r to section}}

{{r from ambiguous term}}

}}