Bonjour, en définissant l'ensemble à partir des ordinaux de Von Neumann, une fois le théorème de récurrence établi, comment définir l'addition et la multiplication dans ZFC ?
J'ai trouvé sur internet des formulations du type et (où est le successeur), mais selon moi, cela ne définit en rien l'addition comme une l.c.i.
(nb : dans ZFC une fonction est identifiée à son graphe, i.e. une fonction est une partie du produit cartésien de l'ensemble de départ par l'ensemble d'arrivé)...

Comment peut-on définir rigoureusement ces "opérations élémentaires" dans la théorie des ensembles de Zermelo et Fraenkel ? Merci par avance pour vos propositions