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