Key points are not available for this paper at this time.
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.