Identité de Bézout — Soit P et Q deux polynômes, P et Q sont premiers entre eux si, et seulement si, il existe deux polynômes M et N tel que : Il devient nécessaire de définir l'expression polynômes ...

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 ...