liste des axiomes

→ **MyCalcs** profile · de **tama** » 25 Nov 2006, 17:22

???
effectivement

→ **MyCalcs** profile · de **Ver2guerre** » 26 Nov 2006, 12:02

explication des axiomes : ce sont toutes les priétés mathématiques indémontrables. En gros, c'est la définition des maths par les hommes.

→ **MyCalcs** profile · de **tama** » 26 Nov 2006, 12:04

toutes les priétés mathématiques indémontrables ?

→ **MyCalcs** profile · de **Ver2guerre** » 26 Nov 2006, 12:49

C'est exactement ça, alors pour tama, hip Hip HIP HOURRA !

→ **MyCalcs** profile · de **Mr. Crocodile** » 26 Nov 2006, 13:44

propriété non ?
Ok du genre 1 + 1 = 2 en gros addition et soustraction...

→ **MyCalcs** profile · de **Ver2guerre** » 26 Nov 2006, 15:02

1+1=2 n'est pas un axiome. J'ai été surpris quand je l'ai appris. ça se démontre par
succ(1)=2, et
succ(X)=X+1.

→ **MyCalcs** profile · de **Mr. Crocodile** » 26 Nov 2006, 15:07

donc succ est un axiome ? (en gros lorsque tu demontre quelque chose si tu redemontre les outils qui te servent a demontrer de "proche en proche" ou plutot de fil en aiguië tu tombe sur un axiome) De ce fait je pense que la liste des axiomes est infinie

→ **MyCalcs** profile · de **Ver2guerre** » 26 Nov 2006, 16:33

Voilà, tu as comris le truc, mais personnellement, je pense que la liste des axiomes est finie, étantdonné qu'une propriété, pour être un axiome, doit être absolument indémontrable.

→ **MyCalcs** profile · de **Mr. Crocodile** » 26 Nov 2006, 16:45

oui mais il doit forcement y avoir des axiome encore inconus... Enfin je pense.

→ **MyCalcs** profile · de **Ver2guerre** » 26 Nov 2006, 16:49

Je pense aussi, les mathématiciens ont d'ailleurs un problème :
Il énonce un axiome, mais il doivent dire qu'il est vrai, ce qui fait donc un autre axiome, mais rien ne dit que l'axiome qui dit que l'axiome est vrai est réellement juste ...