Ces axiomes définissent les règles du monde mathématique par lequel nous allons résoudre ce problème : Il existe un nombre fini de nombres dans ce monde mathématique, noté α, avec 1 < α ≤ 10^9. α appartient à N+, donc α est un entier strictement positif.