Barcan formula

Etymology
Introduced by the logician.

Proper noun

 * 1)  In quantified modal logic, the formula $$\forall x \Box Fx \rightarrow \Box \forall x Fx$$, meaning "if every x is necessarily F, then it is necessary that every x is F".