« Axiomes des théories des ensembles/Les ensembles finitaires » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (- *\|\s?idfaculté\s?=\s?(.*) + | idfaculté = \1) |
m Robot : Remplacement de texte automatisé (- *\| *niveau *= * + | niveau = ) |
||
Ligne 6 :
|précédent=[[../Formules initiales et règles de production pour les vérités atomiques d’appartenance aux ensembles énumérables/]]
|suivant=[[../Négation dans les prédicats finitaires/]]
| niveau =
}}
|