发布于 2023-06-29 L’axiome du choix, dans le domaine de la théorie intuitionniste des types 1413 热度 无~ 数学 L’axiome du choix, c’est un axiome qui signifie qu’il y a