HOME PUBLICATIONS OTHER LINKS
[… p est fausse !] Précédente : p ↔ Vrai-Σ1(p) ⇒ …

… p est fausse ! (PDF)

Suivante : Axiomatisation de ℤ

Index