les formules de Pi

[stefjm]

Signé Francis Blanche et Pierre Dac?
Si j'avais su cela pendant mes études.
-----

[Médiat]

Signé Francis Blanche et Pierre Dac?

Non, Tarski et Banach par exemple (même si j'apprécie ces 2 là).

[stefjm]

Par curiosité, à quoi ressemble une formule de ZF qui donne ?

Vous savez bien qu'en mathématiques, savoir que l'on peut faire, vaut mieux que faire

Dois-je en conclure que vous savez faire ?
[...]
De plus, si savoir faire est plus important que faire, il faut néanmoins prouver que l'on sait faire : à vous de jouer

Je l'avoue, je suis un bot, pas forcément clever...