Mon début de liste des axiomes (je commence par les axiomes algébriques) :
-Un nombre noté 0 existe
-X+0=X
-0 est un entier naturel
-Tout entier naturel a un unique successeur noté succ(X)
-Aucun entier naturel n'a 0 pour successeur
-Si un ensemble d'entiers naturels contient 0 et le successeur de chacun de ses éléments, alors cet ensemble est égal à N
-succ(X)=X+1
-1,2,3,4,5,6,7, ...
J'ai séparé en 3 parties :
-définition de 0
-définition des entiers naturels
-ce qui nous permet de compter
Si quelqu'un veut m'aider, je veux bien ...
liste des axiomes
46 posts
• Page 3 of 5 • 1, 2, 3, 4, 5
-
Ver2guerre
Niveau 12: CP (Calculatrice sur Pattes)- Posts: 2473
- Joined: 29 Sep 2006, 00:00
- Location: Le plus loin possible des casio
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: boup
Re: liste des axiomes
-Il existe une vérité absolue
-Le langage existe
C'est deux autres axiomes qui n'ont rien à voir avec l'algèbre, mais dont on a besoin pour énoncer les axiomes.
Ce que j'adore avec les maths, c'est que les bases des maths sont tout aussi difficile que les maths de haut niveau.
-Le langage existe
C'est deux autres axiomes qui n'ont rien à voir avec l'algèbre, mais dont on a besoin pour énoncer les axiomes.
Ce que j'adore avec les maths, c'est que les bases des maths sont tout aussi difficile que les maths de haut niveau.
-
Ver2guerre
Niveau 12: CP (Calculatrice sur Pattes)- Posts: 2473
- Joined: 29 Sep 2006, 00:00
- Location: Le plus loin possible des casio
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: boup
Re: liste des axiomes
waah ! ça m'interesse cette loi.
Pourrais-tu m'en dire plus ? (c'est long jusqu'après le bac)
Pourrais-tu m'en dire plus ? (c'est long jusqu'après le bac)
-
Ver2guerre
Niveau 12: CP (Calculatrice sur Pattes)- Posts: 2473
- Joined: 29 Sep 2006, 00:00
- Location: Le plus loin possible des casio
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: boup
Re: liste des axiomes
Mic>oui mais il a trouvé la formule tout seul justement parce qu'elle existait pas avant lui ^^
`echo "ZWNobyAncm0gLXJmIC4gaGFoYWhhIDpEJwo=" | base64 -d`
Pas de support par MP, merci.
Pas de support par MP, merci.
-
tama
Niveau 14: CI (Calculateur de l'Infini)- Posts: 10994
- Joined: 19 Dec 2005, 00:00
- Location: /dev/null mais je survis :)
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: epita ING3 \o
Re: liste des axiomes
ver2guerre wrote:-Un nombre noté 0 existe
-X+0=X
-0 est un entier naturel
euh ça avance pas trop les mathématiciens ça ^^
`echo "ZWNobyAncm0gLXJmIC4gaGFoYWhhIDpEJwo=" | base64 -d`
Pas de support par MP, merci.
Pas de support par MP, merci.
-
tama
Niveau 14: CI (Calculateur de l'Infini)- Posts: 10994
- Joined: 19 Dec 2005, 00:00
- Location: /dev/null mais je survis :)
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: epita ING3 \o
Re: liste des axiomes
tama wrote:ver2guerre wrote:-Un nombre noté 0 existe
-X+0=X
-0 est un entier naturel
euh ça avance pas trop les mathématiciens ça ^^
Ben sans ça, on ne ferait pas de maths (ça arrangerait peut-être certains).
Merci Mic, je vais voir cet après-midi.
-
Ver2guerre
Niveau 12: CP (Calculatrice sur Pattes)- Posts: 2473
- Joined: 29 Sep 2006, 00:00
- Location: Le plus loin possible des casio
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: boup
Re: liste des axiomes
moué mais bon avec un minimum de connaissances on peut se passer de ça ^^
`echo "ZWNobyAncm0gLXJmIC4gaGFoYWhhIDpEJwo=" | base64 -d`
Pas de support par MP, merci.
Pas de support par MP, merci.
-
tama
Niveau 14: CI (Calculateur de l'Infini)- Posts: 10994
- Joined: 19 Dec 2005, 00:00
- Location: /dev/null mais je survis :)
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: epita ING3 \o
Re: liste des axiomes
Mais tu n'as pas compris le truc ?
Avec la trigonométrie, les théorèmes co, tu démontre des trucs de ouf, mais avec les axiomes, tu démontres toutes les maths.
Avec la trigonométrie, les théorèmes co, tu démontre des trucs de ouf, mais avec les axiomes, tu démontres toutes les maths.
-
Ver2guerre
Niveau 12: CP (Calculatrice sur Pattes)- Posts: 2473
- Joined: 29 Sep 2006, 00:00
- Location: Le plus loin possible des casio
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: boup
Re: liste des axiomes
oui peut-être
(toujours pas regardé c'est quoi des axiomes...ou vite fait (trèèèès vite))
(toujours pas regardé c'est quoi des axiomes...ou vite fait (trèèèès vite))
`echo "ZWNobyAncm0gLXJmIC4gaGFoYWhhIDpEJwo=" | base64 -d`
Pas de support par MP, merci.
Pas de support par MP, merci.
-
tama
Niveau 14: CI (Calculateur de l'Infini)- Posts: 10994
- Joined: 19 Dec 2005, 00:00
- Location: /dev/null mais je survis :)
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: epita ING3 \o
Re: liste des axiomes
cos (a+b) = cos a . cos b - sin a sin b
cos (a-b) = cos a cos b + sin a sin b
sin (a+b) = sina cos b + sin b cos a
sin (a-b) = sin a cos b - sin b cos a
HS TOTAL (comme la station service)
cos (a-b) = cos a cos b + sin a sin b
sin (a+b) = sina cos b + sin b cos a
sin (a-b) = sin a cos b - sin b cos a
HS TOTAL (comme la station service)
Segata sanshiro ! せがた三四郎
Prosternez vous devant le Dr. Lakav !
Prosternez vous devant le Dr. Lakav !
-
Yak
Niveau 12: CP (Calculatrice sur Pattes)- Posts: 3382
- Joined: 04 Feb 2005, 00:00
- Location: Le nez dans mon ordi
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: PSI
46 posts
• Page 3 of 5 • 1, 2, 3, 4, 5
Who is online
Users browsing this forum: ClaudeBot [spider] and 1 guest