FrydaJ., “Some natural axiom system of the plane Euclidean geometry”, AMSil, vol. 5, pp. 94-98, Sep. 1991.