« Axiomes des théories des ensembles/Les ensembles finitaires » : différence entre les versions
Contenu supprimé Contenu ajouté
m Bot : Remplacement de texte automatisé (-\. A +. À ) |
m Bot : Remplacement de texte automatisé (-\b[ée]l[ée]mm?ent(aires?|s?)\b +élément\1) |
||
Ligne 61 :
Cette méthode du langage semi-naturel présente un grand avantage dans le cas présent, parce que Enum est défini avec un grand nombre d’opérateurs et de prédicats fondamentaux. Pour faire une théorie purement formelle, il faudrait un glossaire assez volumineux pour donner aux symboles formels leur signification dans une langue naturelle.
Les prédicats fondamentaux de la théorie des ensembles sont “est
Les logiciens sont en général des minimalistes. On ne veut pas plus de principes qu’il n’est nécessaire. On veut un nombre minimal d’objets de base, d’opérateurs et de prédicats fondamentaux, d’axiomes et de règles de déduction. Un petit nombre est en général considéré comme suffisant.
Ligne 137 :
== Les axiomes d’une théorie élémentaire des ensembles finitaires ==
Cette section expose les axiomes de Finitaire1, qui est une théorie
=== L’ontologie de Finitaire1 ===
| |||