Citation de Kerrigan
La demonstration est un exercice qui ne permet aucun sophisme mais qui repose sur des croyances non demontrer (1+1 = 2)

1+1=2 est une définition, à chaque fois qu’on voit le symbole 2 on peut le remplacer par 1+1 (alors que 2+2=4 est une démonstration 4 est l’abreviation Pour 3+1 etc)
Et ce n’est pas une notion première, il existe plein de constructions différentes des entiers (la plus connu est sans doute celle qui fait des entiers des ordinaux finis donc l’ensemble vide c’est 0, 1 c’est {0} 2 c’est {1,0} etc)