[cross avec 1875]

(je parle évidemment modulo isomorphisme, i.e. la logique différente n'a une influence que si elle aboutit à des concepts vraiment différents)

Ben je veux bien que les entiers soient qqch de très fondamental (surtout dans les univers avec un temps linéaire et causal, ça représente par exemple le nombre de fois où on fait une action), mais est-ce que dans un univers où les nombres réels sont moins utiles pour décrire simplement le monde qui les entoure les habitants auraient envie de les introduire ? et même chose à la puissance 10 pour les équa diff ^^