« Fondements des mathématiques/Preuve naturelle de la cohérence de l'arithmétique formelle » : différence entre les versions
Contenu supprimé Contenu ajouté
m Bot : Remplacement de texte automatisé (-, *(…|\.\.\.) +…) |
m Robot : Changement de type cosmétique |
||
Ligne 57 :
Pour toute propriété P des nombres,
* si P est vraie de 0
* et si pour tout nombre x, si P est vraie de x alors P est vraie de sx
alors pour tout nombre x, P est vraie de x
Ligne 68 :
Pour tous y1…., yn,
* si P(0, y1…, yn),
* et si pour tout x, si P(x, y1…, yn), alors P(sx, y1…, yn)
alors pour tout z, P(z, y1…, yn)
| |||