Cliqué pour obtenir une image PNG (entre 20Kb et 300Kb) ou PDF (entre 600Kb et 6Mb)
| G | Z | Z*, Z1, Z1* | Axiomes de Vandenbussche |
 |
 |
 |
 |
| ou PDF | ou PDF | ou PDF | ou PDF |
| (Fixed Point Theorem) | Ensembles héréditairement finis | p ↔ VraiΣ1(p) ⇒ … | … p est fausse ! |
 |
 |
 |
 |
| ou PDF | ou PDF | ou PDF | ou PDF |
| Axiomatisation de ℤ | ℤ, +, . | Axiomatisation de ℚ | ℚ, +, . |
 |
 |
 |
 ou PDF |
| ou PDF | ou PDF | ou PDF |