The palace of Euclidean geometry (1. axioms and deduction)

0123