« 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 4 février 2016 à 17:00
, il y a 6 ans→Les axiomes de l’arithmétique formelle
(catégorisation) |
|||
|
R5 si x+y=z alors y+x=z
R6 si x+y=z alors
R7 si x=x alors x.0=0
| |||