2
modifications
« Fondements des mathématiques/Preuve naturelle de la cohérence de l'arithmétique formelle » : différence entre les versions
Fondements des mathématiques/Preuve naturelle de la cohérence de l'arithmétique formelle (modifier)
Version du 17 mai 2018 à 08:00
, il y a 4 ans→Les axiomes de l’arithmétique formelle
m (Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n)) |
|||
|
R5 : si x+y=z alors y+x=z ;
R6 : si x+y=z alors
R7 : si x=x alors x.0=0 ;
| |||