Sinon, des extraterrestres classiques utilisent très certainement des entiers, et des constructions qui ne dévient des nôtres que de façon minime pendant un bon bout de temps.

Les ensembles, c'est pas obligé du tout (et d'ailleurs nous même on pourrait causer en terme de fonctions typées, ou de catégories, plutôt que d'ensembles) mais malgré tout ça reviendra au même.