Nightmare a écrit:"un axiome est un postulat" => c'est vrai que ça nous avance pas trop :lol3:
De toute façon, je crois qu'essayer de comprendre l'axiomatique de N (Peano) ne vaut pas notre bonne intuition.
Répondre à la question "pourquoi 1 et 1 font 2" par "parce que si j'ai une pomme et que j'en rajoute une, j'en ai 2" n'est pas forcément plus idiot que de répondre " parce que l'axiomatique en a voulu ainsi" :lol3:
Pourtant, c'est exactement ca: on a défini 1 et 2 ainsi; on aurait tres bien pu appeler 2 fois 1 14, mais on ne l'a pas fait. Hasard? Design intelligent? Hasard, surtout. Et il est tres difficile de penser a autre chose maintenant que nous sommes coincés dans ce modele. L'homme est incapable d'imaginer quelque chose qu'il ne connait pas...