Il n y a pas de formule sans preuve dans ce système d axiomes justement. C'est possible car les hypotheses du theoreme de goedel ne sont pas vraies, cette théorie ne permet pas de décrire toute l arithmétique des entiers.
@@MrFraGalde ce que j'ai compris si la théorie des corps réel clos échappe au théorème de goedel c'est parce qu'il ne peut pas vérifier une infinité de nombre du coup elle y échappe pas totalement ?
Du coup j'ai pas compris le théorème des corps clos est complet mais s'il y a des formules sans preuves comment on peut affirmer sa complétude ?
Il n y a pas de formule sans preuve dans ce système d axiomes justement. C'est possible car les hypotheses du theoreme de goedel ne sont pas vraies, cette théorie ne permet pas de décrire toute l arithmétique des entiers.
@@MrFraGalde ce que j'ai compris si la théorie des corps réel clos échappe au théorème de goedel c'est parce qu'il ne peut pas vérifier une infinité de nombre du coup elle y échappe pas totalement ?
oui il manque un axiome de récurrence du type : si n apparient au corps alors n+1 aussi
La longueur des cheveux est proportionnelle au QI ? ^^
Je crois sincèrement que dans certains cas il y a au moins une corrélation ahahah