« Fondements des mathématiques/Cohérence des théories finitaires » : différence entre les versions
Contenu supprimé Contenu ajouté
m cat |
m Bot : Remplacement de texte automatisé (-\b([Cc][’'])est +[àa] +dire\b +\1est-à-dire) |
||
Ligne 31 :
Définissons une ontologie ensembliste progressive O(n) de la façon suivante.
O(0) est l’ontologie ensembliste de Enum, c’est
O(n+1) est l’ensemble de tous les êtres qui satisfont à l’une des trois conditions suivantes.
|