True arithmetic (original) (raw)

En logique mathématique, l'arithmétique vraie est l'ensemble de toutes les propositions vraies sur l'arithmétique des entiers naturels (Boolos, Burgess et Jeffrey 2002: 295). C'est la théorie associée au modèle standard des axiomes de Peano dans la signature des axiomes de Peano du premier ordre. L'arithmétique vraie est parfois appelée[Par qui ?] arithmétique de Skolem[réf. nécessaire], bien que ce terme se réfère habituellement à une théorie différente, la théorie des entiers naturels avec multiplication.