« Fondements des mathématiques/Les expressions formelles, les ensembles et les fonctions » : différence entre les versions
Contenu supprimé Contenu ajouté
m Autoformatage, retrait de la clé de tri |
m Robot : Remplacement de texte automatisé (-\b([Qq])ue ([AEIOUYaeéèêiouy]) +\1u'\2) |
||
Ligne 112 :
1 pour tout x, x est plus petit que x+1 (Axiome)
2 pour tout x et tout y, si x est plus petit
3 z est plus petit que z+1
| |||