Objets et relations élémentaires dans la géométrie de Tarski

Les objets élémentaires

Les seuls objets définis dans l'axiomatique de Tarski sont les points

Les relations

Deux relations fondent toute la géométrie de Tarski

• la relation "entre" affirmant qu'un point est situé entre deux autres points:
  (Bet A B C)
  Sorry, the GeoGebra Applet could not be started. Please make sure that Java 1.4.2 (or later) is installed and active in your browser (Click here to install Java now)
• la relation de congruence affirmant que deux segments ont même longueur :
  (AB ≡ CD)
  Sorry, the GeoGebra Applet could not be started. Please make sure that Java 1.4.2 (or later) is installed and active in your browser (Click here to install Java now)