fof(ax_false_inc_po_pl,axiom,(![A,P]:((point(A)&plane(P)&inc_po_pl(A,P)&ninc_po_pl(A,P))=>$false))).
