#s/maths/logique

---
[[proposition|Proposition]] primitive considérée comme non démontrable et admise a priori.
Les axiomes sont des [[théorème|théorèmes]] particuliers.

# Notation
Un axiome $T$ se note $\vdash T$


**Exemple :** axiomes de la géométrie euclidienne

En utilisant les axiômes que l'on admet, on les compose pour obtenir des [[théorème|théorèmes]].