15 lines
381 B
Markdown
15 lines
381 B
Markdown
#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]].
|
|
|