Chasse à la citation

L’extrait ci-dessous de Wikipédia n’est pas soutenu par une source fiable. Pouvez-vous en trouver une ?

Cliquez sur J’ai compris ! pour aller sur Wikipédia et corriger le fragment de code ou Suivant ! pour en voir un autre. Bonne chance !

Sur la page Théorème de Cantor-Bernstein :

Ce texte est extrait de l’en-tête de l’article, si bien qu’y ajouter des références peut être facultatif. Consultez WP:INTRO pour plus d’informations.

"

Il est nommé ainsi en référence aux mathématiciens Georg Cantor, Felix Bernstein et Ernst Schröder. Cantor en donna une première démonstration, mais qui utilisait implicitement l'axiome du choix[réf. nécessaire]. Bernstein en donna une démonstration qui ne dépendait pas de cet axiome. Cependant, toutes les démonstrations données utilisent le principe du tiers exclu et de ce fait ne sont pas acceptées par les intuitionnistes[1]. En 2019, Cécilia Pradic et Chad E. Brown montrent que le théorème de Cantor Bernstein implique le principe du tiers exclu[2] en théorie des ensembles intuitionniste.