The proto-octomidial-axiom and nonstandard Lobachevsky geometry
In Euclid geometry the angle-sum of a triangle is 180 degrees. In Lobachevsky geometry the angle-sum is always less than 180 degrees
In order to make sure that a planar geometry is not empty one includes the axiom that there are two different proto-points say o and e . For the equilateral proto-triangle o e t one constructs the top point t with the proper orientation.
In Lobachevsky geometry every equilateral triangle has an angle that depends on the length of its sides. and for every admissible angle there is a unique side length of the corresponding equilateral triangle. This means that one cannot choose just any proto-pair o and e . On the other hand one can construct right angles (90 degrees) and octomidial angles (45 degrees) . One chooses the proto-pair as a standard such that the corresponding equilateral proto-triangle has three angles with 45 degrees.
One can combine 8 equilateral proto-triangles to give an octagon, that's where the name of the following proto-octomidial axiom is taken from. For an understanding the syntax of the axiom with the ternary isoscition function you have to study some sections of 'Geometries of O' .
However, one is free to take another regular polygon to base Lobachevsky geometry on. Take e.g. the regular heptagon. As one cannot construct the regular heptagon in the Klein-model of Lobachevsky geometry the heptamidial Lobachevsky geometry is different from octomidial Lobachevsky geometry, it is a nonstandard Lobachevsky geometry . This is more than just a convention as every nonstandard Lobachevsky geometry (and there are infinitely many) contains the standard Lobachevsky geometry. This follows from Liebmann's Theorem, that one can construct a triangle from its three angles. But this is may be leading a little bit too far for the moment ...