order (logic)

1. redirect higher-order logic#Quantification scope

{{rcatsh|

{{r to section}}

}}