Axiomas em simbologia

[Luiz Augusto Prado]

Esses são os axiomas da geometria euclidiana plana na forma simbólica.
Algumas definições

é semi-reta definida pelos pontos M e N

é semi-plano definido pela reta r e pelo ponto A

é reta definida pelo seguimento OA

é o módulo (distância) do seguimento AB

O resto é de uso mais comum.

Se alguem tiver interesse, em discutir ou se tiver alguma dúvida sobre por favor entre em contato.