Mais c'est bien autre chose aussi. C'est un pas formel vers l'autre, une plongée logiciste dans le monde tel qu'il est, l'abandon de toutes nos peurs constructivistes et la découverte, sans cesse renouvelée, des plaisirs infinis d'une axiomatisation du monde.
Cela ne va évidemment pas sans contrepartie, mais c'est un jeu à somme nulle.
Si, toi aussi, tu veux en croquer, envoie un message en MP Inbox avec comme sujet "Toi aussi".
Zermelo est ton ami.
