'axiomatisation des ensembles'
(id=261625460 ; fe=axiomatisation des ensembles ; type=1 ; niveau=200 ;
luminosité=25 ;
somme entrante=30 creation date=2024-02-04 touchdate=2025-10-21 00:31:11.000) ≈ 0 relations sortantes
| ≈ 2 relations entrantes
- axiomatisation ---
r_hypo #8: 25 -->
axiomatisation des ensembles
n1=axiomatisation | n2=axiomatisation des ensembles | rel=r_hypo | relid=8 | w=25
- Axiomatisation ---
r_hypo #8: 5 -->
axiomatisation des ensembles
n1=Axiomatisation | n2=axiomatisation des ensembles | rel=r_hypo | relid=8 | w=5
|