Précédente : p ↔ Vrai-Σ1(p) ⇒ … … p est fausse ! (PDF) Suivante : Axiomatisation de ℤ Index

---