)Mais euh, l'axiome du choix commence par quel que soit ? (par contre il y a il existe après, mais il est seulement après) et on a démontré qu'il est indémontrable avec seulement les autres ou j'ai rêvé ?
Et est-ce que ça fait que toute proposition existentielle qui est indémontrable est fausse ? oui a priori...
ton raisonnement est louche
