На самом деле представленная здесь версия пятой аксиомы отличается от формулировки самого Евклида. Впервые такую логически эквивалентную версию аксиомы сформулировал Прокл в V веке нашей эры, а популяризовал эту формулировку Джон Плейфер в 1795 году. Формулировка Евклида немного длиннее.