Podudarnost trouglova

U ovom radu E3 označava model Euklidske geometrije, tj. prostor koji zadovoljava aksiome pripadnosti, rasporeda, podudarnosti, neprekidnosti i Plejferovu aksiomu paralelnosti. Takođe, E2 obilježava Euklidsku ravan i E1 Euklidsku pravu. Osnovne relacije u Euklidskom prostoru su, pored pripadnosti, tročlana relacija rasporeda β i četvoročlana relacija podudarnosti koju interpretiramo kao podudarnost parova tačaka (A,B) (C,D).