Vous êtes sur la page 1sur 3

UNIVERSIT PARIS 1 LICENCE PHILOSOPHIE/LOGIQUE LICENCE 1-S2 MATHMATIQUES Les Axiomes de Pano (Corrig de lexercice)

Pour traduire symboliquement les axiomes de Pano, des choix syntaxiques sont faire. Si lon sautorise la rfrence explicite au domaine et lusage de la relation ensembliste , on aura, pour les quatre premiers axiomes : 1. 0 est un nombre : (0 appartient ) 2. 0 n'a pas de prdcesseur immdiat (il n'existe pas de nombre dont 0 soit le successeur) : x x x il nexiste pas de x tel que x appartient et s(x)=0) 3. Tout nombre a un successeur. x x x (pour tout x, si x appartient , alors il existe un y tel que y appartient

et y=s(x))

4. Deux nombres distincts ont des successeurs distincts. x x x x (Pour tout x et pour tout y, si x et y appartiennent et sont distincts, alors s(x) et s(y) sont distincts). Remarque : il est dusage dcrire x pour x . Une variante : usage des quantificateurs restreints (ou relatifs) En mathmatiques, il est frquent, lorsque lon veut prciser le domaine de variation des variables, dutiliser des quantificateurs restreints ou relatifs ce domaine : x ( pour tout x appartenant ) et x ( il existe x appartenant ). En utilisant ces quantificateurs, les quatre premiers axiomes de Pano peuvent scrire : 1. 0 est un nombre : (pas de quantification, donc pas de changement). 2. 0 n'a pas de prdcesseur immdiat (il n'existe pas de nombre dont 0 soit le successeur) : x x

il nexiste pas de x appartenant

tel que s(x)=0)

3. Tout nombre a un successeur. x x (pour tout x appartenant , il existe un y appartenant

tel que y=s(x))

4. Deux nombres distincts ont des successeurs distincts. x x x (Pour tout x appartenant et tout y appartenant , si x et y sont distincts, alors s(x) et s(y) sont distincts). Remarque : il arrive que lon crive , au lieu de x . Autre variante : on ne parle que des individus x, , , sans faire rfrence leur domaine dappartenance on na plus besoin de la relation dappartenance ; mais on ne peut plus traduire le premier axiome) : 2. 0 n'a pas de prdcesseur immdiat (il n'existe pas de nombre dont 0 est le successeur) : x x il nexiste pas de x tel que s x 3. Tout nombre a un successeur. x x (pour tout x, il existe un y tel que y=s(x)) 4. Deux nombres distincts ont des successeurs distincts. x x x (Pour tout x et tout y, si x et y sont distincts, alors s(x) et s(y) sont distincts).

Remarque : le domaine na ant pas t prcis, on peut interprter ces axiomes sur un

autre domaine que . Par exemple, on peut considrer que le symbole 0 dsigne le nombre 1, et que s(x)=2x. Dans ce cas, la suite , , , , dsigne la suite : 1, 2, 4, 8, .Les quatre axiomes restent vrais dans cette interprtation. Cas de lAxiome 5 : 5. est le plus petit ensemble qui a 0 pour lment et est clos pour . Cela signifie que si un ensemble a 0 pour lment et est clos pour , alors est inclus dans ; ou encore : si 0 appartient un ensemble clos pour , alors tous les nombres naturels appartiennent cet ensemble. Ce que lon peut crire : x x x

Cet nonc est trs diffrent des prcdents, car il fait intervenir une quantification sur le domaine des ensembles (et non seulement sur le domaine des entiers naturels). En particulier, si est un sous-ensemble de (autrement dit, si ), le fait que entrane que . Ainsi, on a :

x x

Ce que lon appelle le principe de rcurrence. En pratique, on lutilise ainsi : pour montrer quun ensemble de nombres naturels est gal (autrement dit pour montrer que tous les nombres naturels appartiennent ) on montre que et que est clos pour . Exemples dapplication : 1. Montrer que pour tout , . Considrons lensemble des nombres naturels tels que , . . . Pour montrer que tous les nombres naturels appartiennent , on montre que et que est clos pour : , car nest le successeur daucun nombre. est clos pour : il faut montrer que si , alors . Supposons donc que . Cela signifie que . En vertu de lAxiome 4, il en rsulte que , ce qui montre que . Il suit du principe de rcurrence que , ce qui veut dire que pour tout , . 2. Montrer que tout nombre naturel diffrent de 0 a un prdcesseur (pour tout , si , alors il existe tel que ). Considrons lensemble des nombres naturels diffrents de qui nont pas de prdcesseur. On veut montrer que lensemble est vide, ce qui veut dire que . Evidemment, , puisque, par dfinition, . Supposons que . Donc . Par consquent, ou bien , ou bien a un prdcesseur . Dans le premier cas, a 0 pour prdcesseur, dans le second, il a pour prdcesseur. Donc . a donc 0 pour lment et est clos pour , donc .