3 ms·
In Tarski's axiomatization of plane geometry, there's a betweenness triadic relationship, Bxyz, point y is between x and z.
by bediger4000 2y ago
In Tarski's axiomatization of plane geometry, there's a betweenness triadic relationship, Bxyz, point y is between x and z.