Formal arithmetic
Aucun articlePeano axiomsPeano arithmeticFirst order arithmeticSecond order arithmeticRobinson arithmeticPrimitive recursive arithmeticExponential function arithmeticSkolem arithmeticBuchi arithmeticGodels beta function
Pas encore de questions dans cette catégorie — ça arrive.