ouais mais une fois que t'as les entiers (et les rationnels), les réels apparaissent naturellement comme complétion de Q.

Les p-adiques aussi d'ailleurs, et on remarque que nous on avons découvert les p-adiques alors que ça n'a pas d'utilité pour décrire le monde qui nous entoure.

Donc même si l'extraterrestre de la rue ne connait pas les nombres réels, l'ET mathématicien doit être au courant.


Bon pour les équa diff... Mouais, leur introduction a quand même été immensément motivée par la physique. D'ailleurs nous on ne fait des équa diffs p-adiques que depuis récemment, et de façon tout à fait marginale.
Donc : si ET a une culture mathématique avancée, il tombera sûrement dessus parce qu'il y a un moment où ça devient une question naturelle. Néanmoins, bof quand même pour la découverte des equa diff