text: Аксиома Паша ( B x u z ∧ B y v z ) → ∃ a ( B u a y ∧ B v a x ) . {\displaystyle (Bxuz\land Byvz)\rightarrow \exists a\,(Buay\land Bvax).} Две диагонали четырехугольника x u v y {\displaystyle xuvy} должны пересекаться в некоторой точке.