Volkov В.; Panchuk К. Axiomatics of Projective Line Geometry. prengpe 2023, 7, 14.