En réponse à :
Exact Dwaabala, si l’on prend les axiomes de Peano, le principe de récurrence est un axiome. Mais il est normalement plus formateur de définir N en utilisant les propriétés de l’ordre (axiomatique ordinale : N est un ensemble bien ordonné, etc.) qui sont plus accessibles a priori (on parle de relation d’ordre et pas d’applications, d’injections, etc.) puis de démontrer le principe de récurrence comme un résultat (il devient un théorème).
Ajouter une réaction
Pour réagir, identifiez-vous avec votre login / mot de passe, en haut à droite de cette page
Si vous n'avez pas de login / mot de passe, vous devez vous inscrire ici.
FAIRE UN DON
Articles les plus lus
- L’Ukraine n’est pas l’Europe
- Aya Nakamura pour chanter la Môme Piaf au JO... Qu’en penserait Emma Saïd Ben Mohamed ?
- N’est-ce pas Bruno Le Maire qui devrait être licencié ?
- Rediffusion sur ARTE d’une « histoire de l’antisémitisme » qui ne dit pas tout..
- L’UE sanctionne l’IRAN, un comble !
- Qui est responsable de « l’orange mécanique » 2024 ?
- Conférence Lille : Mélenchon & Hassan : MOTUS !
- C’est reparti, comme avant chaque élection
- Le milliardaire ne paye ni la TVA, ni taxe carburant
- Jeux Olympiques : chacun pour soi, Dieu pour tous !
Agoravox utilise les technologies du logiciel libre : SPIP, Apache, Ubuntu, PHP, MySQL, CKEditor.
Site hébergé par la Fondation Agoravox
A propos / Contact / Mentions légales / Cookies et données personnelles / Charte de modération