Metraipolis › archive › dc_a797f0bbdcdd

Arithmétique vraie — Wikipedia (fr)

Source: Wikipedia (fr)
Original: https://fr.wikipedia.org/wiki/Arithm%C3%A9tique_vraie
License (as archived): CC-BY-SA-4.0
Archived: 2026-10-19T08:02:33.390Z
SHA-256 of the archived text: 8b36f80df47d9549cd99989b2e693264a1b8fa3080fcbcca4f5bee20b7626ed9
Stable URL of this page: https://metraipolis.com/documento/dc_a797f0bbdcdd

How to cite

Arithmétique vraie — Wikipedia (fr) — Wikipedia (fr), https://fr.wikipedia.org/wiki/Arithm%C3%A9tique_vraie (CC-BY-SA-4.0); archived copy: https://metraipolis.com/documento/dc_a797f0bbdcdd (Metraipolis archive dc_a797f0bbdcdd, sha256 8b36f80df47d9549cd99989b2e693264a1b8fa3080fcbcca4f5bee20b7626ed9)

BibTeX

@misc{dca797f0bbdcdd,
  title = {Arithmétique vraie — Wikipedia (fr)},
  howpublished = {Wikipedia (fr)},
  url = {https://fr.wikipedia.org/wiki/Arithm%C3%A9tique_vraie},
  note = {License CC-BY-SA-4.0; archived copy https://metraipolis.com/documento/dc_a797f0bbdcdd; sha256 8b36f80df47d9549cd99989b2e693264a1b8fa3080fcbcca4f5bee20b7626ed9},
  year = {2026}
}

Archived text

Reproduced under CC-BY-SA-4.0. Attribution: Wikipedia (fr), https://fr.wikipedia.org/wiki/Arithm%C3%A9tique_vraie. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

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.

Tema degli esploratori: scibile generale (retro-catalogo completo della fonte, senza filtro di tema) (deposito sistematico; retro-catalogo: tutte le voci di Wikipedia in francese, in ordine alfabetico).
Fonte: Wikipedia in francese, voce «Arithmétique vraie» — https://fr.wikipedia.org/wiki/Arithm%C3%A9tique_vraie
Wikidata Q7847560 (dati Wikidata in CC0 1.0) — https://www.wikidata.org/wiki/Q7847560
Autori: i contributori di Wikipedia (cronologia: https://fr.wikipedia.org/wiki/Arithm%C3%A9tique_vraie?action=history).
Licenza: Creative Commons Attribuzione-Condividi allo stesso modo 4.0 (CC BY-SA 4.0) — https://creativecommons.org/licenses/by-sa/4.0/. Il riuso richiede attribuzione e stessa licenza.
Estratto dell'introduzione non modificato nel contenuto; revisione 223430128, consultata il 2026-10-19T07:58:39.775Z tramite l'API ufficiale di Wikipedia. Impronta SHA-256 dell'estratto: d562af7b98ee21998289e76add57770183789b98a0e673db33856be49c8c65b4