PommeBlanche

Posté le 16/02/2017 à 10:55:25

On veut montrer que 1 + 1 = 2 en arithmétique de Peano,
s(0) + s(0) = s(s(0))
s(0) + s(0)
= s(s(0) + 0)

Donc = s(s(0))

PoulPox

Posté le 16/02/2017 à 10:57:55

Bravo tu as cloué le bec à ceux qui disent que 1=0

Anthraxxx

Posté le 16/02/2017 à 11:57:52

OSEF

PommeBlanche

Posté le 16/02/2017 à 11:59:04

>>Anthraxxx

OSEF

Et pourtant personne ne nous la dit, on gobe ça en cours mais on ne s'est pas si c'est vrai...

Dyosir

Posté le 16/02/2017 à 13:42:00

Merci !
Je croyais que ça faisait 3 jusqu'à maintenant

PommeBlanche

Posté le 16/02/2017 à 16:25:55

PommeBlanche

On veut montrer que 1 + 1 = 2 en arithmétique de Peano,
s(0) + s(0) = s(s(0))
s(0) + s(0)
= s(s(0) + 0)
Donc = s(s(0))

Tu ne dis pas les axiomes que tu utilises, ni les notations du coup osef.
Utiliser les axiomes de peano = puceau, il faut utiliser uniquement les axiomes logiques de russel

Tant que j'ai l'air intelligent ça me va.