FrydaJ. (1991). Some natural axiom system of the plane Euclidean geometry. Annales Mathematicae Silesianae, 5, 94-98. Retrieved from https://journals.us.edu.pl/index.php/AMSIL/article/view/14287