Précédente : (Fixed Point Theorem) Ensembles héréditairement finis (PDF) Suivante : p ↔ VraiΣ1(p) ⇒ … Index

---