On va dire que c'est un ensemble d'idées de bases très évidentes qui sont suffisantes pour construire presque toutes les mathématiques usuelles, et qui justement prend bien le soin d'éviter les définitions paradoxales comme le paradoxe de Russel (un truc qui ressemble à peu à ce que tu évoques)