fof(ax_I5,axiom,(![A,B,C,P1,P2]:((point(A)&point(B)&point(C)&plane(P1)&plane(P2)&ncol(A,B,C)&inc_po_pl(A,P1)&inc_po_pl(B,P1)&inc_po_pl(C,P1)&inc_po_pl(A,P2)&inc_po_pl(B,P2)&inc_po_pl(C,P2))=>(P1=P2)))).
