UNIVERSIT PARIS 1 LICENCE PHILOSOPHIE/LOGIQUE LICENCE 1-S2 MATHMATIQUES Les Axiomes de Pano L'ensemble des nombres naturels a pour

r uniques lments zro et ses successeurs, ce que l'on peut noter : = {0, ( (0)), ( ( ))), ...}

o dsigne le successeur (immdiat) de . Intuitivement, il s'agit du plus petit nombre suprieur . Cette dfinition repose cependant sur l'ide d'ordre. Nous dfinirons plutt la fonction successeur partir des proprits suivantes de la suite des nombres naturels (ici, on emploie le mot nombre pour nombre naturel ; et successeur pour successeur immdiat ): 1. 0 est un nombre. 2. 0 n'a pas de prdcesseur immdiat (il n'existe pas de nombre dont 0 soit le successeur). 3. Tout nombre a un successeur. 4. Deux nombres distincts ont des successeurs distincts. 5. est le plus petit ensemble tel que et pour tout , si , alors ce qui signifie que n'a pas d'autres lments que et ses sucesseurs . Remarque : on rsume le fait que pour tout si alors en disant que est clos pour la fonction successeur. Les noncs 1-5 constituent les Axiomes de Pano pour l'arithmtique. Toutes les proprits lmentaires de peuvent tre dduites partir de ces axiomes, en particulier l'existence et les proprits de l'addition et de la multiplication. Dans le cadre de ce cours, nous ne dfinirons pas ces oprations, ni ne dmontrerons leurs proprits de base (associativit, commutativit, etc.); nous n'en donnerons pas non plus une liste exhaustive : nous les signalerons mesure qu'elles se prsentent au cours des dmonstrations. Addition et multiplication sont des fonctions de dans que l'on dfinit en utilisant la fonction successeur. On peut galement dfinir l'ordre naturel de partir de la fonction successeur. Intuitivement, on dira qu'un nombre naturel est (strictement) infrieur un autre nombre naturel si est form avant dans la suite 0, s(0), ss(0), ... . Ainsi, si dfinissons { ( ( )), ( ( ))), ...}, l'ensemble des descendants de . peut tre dfini comme en partant de au lieu de 0 ; autrement dit, est le plus petit ensemble ayant pour lment et clos pour la fonction successeur.

On peut alors dfinir : Pour tout

ssi

En toute rigueur, il faudrait montrer que la relation < ainsi dfinie est bien une relation dordre strict cest--dire une relation irrflexive (sur ) et transitive. Dans le cadre de ce cours, nous utiliserons surtout le fait suivant, que nous admettrons : Proposition. Lordre naturel de est un bon ordre (ou encore : est bien ordonn par <). Rappelons quun ensemble est bien ordonn (pour un ordre <) si tous ses sousensembles non-vides ont un plus petit lment (pour cet ordre <). Exercice Formuler les axiomes de Pano dans un langage symbolique utilisant les symboles de quantification ( pour tout , ou quel que soit ) et ( il existe ), les connecteurs logiques , ainsi que , , des variables etc. dsignant des nombres quelconques, et les relations ensemblistes et .