En mathématique, une suite arithmétique est une suite définie sur à valeurs dans un groupe additif E telle qu'il existe un élément de appelé raison pour lequel : En pratique ou . Mais on peut tout ...

Cette page expose des axiomes pour l’arithmétique formelle et une preuve naturelle, connue des logiciens, de la cohérence de ces axiomes. Les axiomes de l’arithmétique formelle L’arithmétique formelle ...