Los puntos clave no están disponibles para este artículo en este momento.
It is shown that an intuitionistic model of set theory with the axiom of choice has to be a classical one.
Share your take
Add a clinician perspective alongside expert commentary.
Radu Diaconescu (1975) studied this question.