Salut
Disons quand même qu'une grande part des mathématiques peut s'écrire dans le langage de ZF et donc trouver sa place "dans" ZF, mais :
1) 1 grande part != Tout (selon le dernier article que j'ai lu sur le sujet et qui est déjà vieux d'au moins 10 ans)
2) En tout état de cause "s'écrire avec" ne veut pas dire "est"
3) d'autres théories peuvent prétendre au même résultat (catégories par exemple)
Je m'en tiens à ma définition
-----