La grosse bombe !

533

531

529

527

525


3.1415926535897932384626433832795028841971693993751058209749445923078164062862089986280348253421170679 8214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196 4428810975665933446128475648233786783165271201909145648566923460348610454326648213393607260249141273
724587006606315588174881520920962829254091715364367892590360011330530548820466521384146951941511609...

523

Démonstration que 1+1=2:

1 - Un nombre noté 0 existe
2 - Tout nombre X a un successeur noté succ(X)
3 - X+0 = X
4 - succ(X) + Y = X + succ(Y)

On définit 1 comme succ(0) et 2 comme succ(succ(0))

On pose X = 0 et Y = succ(0)
succ(0) + succ(0) = 0 + succ(succ(0)) (Axiome 4)
1 + 1 = 0 + 2
1 + 1 = 2 (Axiome 3)

1 - Un nombre noté 0 existe
2 - Tout nombre X a un successeur noté succ(X)
3 - X+0 = X
4 - succ(X) + Y = X + succ(Y)

On définit 1 comme succ(0) et 2 comme succ(succ(0))

On pose X = 0 et Y = succ(0)
succ(0) + succ(0) = 0 + succ(succ(0)) (Axiome 4)
1 + 1 = 0 + 2
1 + 1 = 2 (Axiome 3) voila :3

522

520