Αξιώματα της Ευκλείδειας γεωμετρίας:
Αξίωμα Ι: Ένα σχήμα είναι πάντοτε ίδιο με τον εαυτό του (ανακλαστική ιδιότητα).
Αξίωμα ΙΙ: Όταν ένα σχήμα είναι ίσο με άλλο, τότε και το δεύτερο είναι ίσο με το πρώτο (συμμετρική).
Αξίωμα ΙΙΙ: Όταν δύο σχήματα είναι ίσα με ένα τρίτο, είναι και μεταξύ τους ίσα (μεταβατική ιδιότητα).
Αξίωμα IV: Δύο σχήματα είναι αδύνατον να είναι ταυτόχρονα ίσα και άνισα.