« Axiomes des théories des ensembles/Les ensembles finitaires » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (- *\| *niveau *= * + | niveau = ) |
m Robot : Remplacement de texte automatisé (- *\| *numero *= *(..?) + | numero = \1) |
||
Ligne 3 :
| idfaculté = mathématiques
| leçon = [[../]]
| numero = 3
|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/]]
| |||