Ensembles
Les entiers naturels
- Axiome — Les entiers naturels
- Définition — Addition des entiers naturels
- Définition — Ordre sur les entiers naturels
- Corollaire — Principe de récurrence simple
- Théorème — Plus petit élément
- Théorème — Plus grand élément
- Théorème — Principe de récurrence, sans Peano
- Définition — Les entiers naturels non nuls
- Définition — Les entiers naturels positifs
- Définition — Les entiers naturels strictement positifs
Les entiers relatifs
- Définition — Les entiers relatifs
- Définition — Addition des entiers relatifs
- Définition — Soustraction des entiers relatifs
- Définition — Ordre sur les entiers relatifs
- Définition — Les entiers relatifs non nuls
- Définition — Les entiers relatifs positifs
- Définition — Les entiers relatifs strictement positifs
- Définition — Intervalles d'entiers
- Définition — Entiers pairs, entiers impairs
Les nombres réels
- Axiome — Les nombres réels
- Axiome — Ordre sur les nombres réels
- Définition — Les nombres réels non nuls
- Définition — Les nombres réels positifs
- Définition — Les nombres réels strictement positifs
- Définition — Segments de ℝ
- Définition — Partie entière d'un réel
- Définition — La droite réelle achevée ℝ