« Fondements des mathématiques/Les expressions formelles, les ensembles et les fonctions » : différence entre les versions
Contenu supprimé Contenu ajouté
m Bot : Remplacement de texte automatisé (-... +…) |
|||
Ligne 147 :
10 est obtenu de 8 et 9 par la règle de synthèse.
11 est obtenu de 7 et 10 par
12 est obtenu de 11 par la règle de généralisation, parce que 11 ne dépend pas de l’hypothèse sur N faite en 7.
| |||