Précédente
: Ensembles héréditairement finis
p ↔ Vrai
Σ
1
(p) ⇒ …
(
PDF
)
Suivante
: … p est fausse !
Index
![[p ↔ Vrai<sub>Σ<sub>1</sub></sub>(p) ⇒ …]](scan07.png)