Utilisateur:Ericmillecamps/Brouillon

Changez ce texte pour votre brouillon.

Récursivité inverse

résout le théorème de Gödel c'est a dire l’indécidabilité en informatique

le n terme on l'exprime par une équation, par exemple

le n-1 terme on l'exprime aussi par une équation

si on prouve le n-1 terme c'est prouvé

si on ne le prouve pas, et qu'on ne trouve pas de contre exemple : la preuve est faite

les mathématique sont in système formel

.