Buridan formula

Etymology
Named in honour of the medieval philosopher.

Proper noun

 * 1)  In quantified modal logic, the formula $$\Diamond \forall x Fx \rightarrow \forall x\Diamond  Fx$$, meaning "if possibly everything is F, then everything is possibly F".