« Fondements des mathématiques/Preuve naturelle de la cohérence de l'arithmétique formelle » : différence entre les versions

m
Robot : Changement de type cosmétique
m (Bot : Remplacement de texte automatisé (-, *(…|\.\.\.) +…))
m (Robot : Changement de type cosmétique)
 
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
 
 
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)
 
143 371

modifications