@ Lucrezia

Je vois que tu n’as pas du entendre parler des Languages Orienté Objets ou des bases de données Relationnelles....

C’est très exactement de cela que je parlais. J’affirme que non seulement ces choses-là ne reposent pas sur un bagage théorique qui découlerait de la théorie des ensembles, mais en plus que si l’on veut les en rapprocher cela ne fonctionne pas théoriquement, dès bien sûr que l’on parle d’ensembles infinis.

Si vous êtes d’une opinion contraire, merci de fournir les références d’un article (théorique) associé.

De mon côté, je vous propose une recherche sur "noetherien" et "polymorphisme", ainsi qu’un article ancien mais connu "polymorphism is not set-theoretic".