La tension vers la connaissance

Dans les années 70, certains logiciens tentèrent des approches plus didactiques de l'axiome du choix. Avec des résultats mitigés.