@Daniel1958 Vous voulez avoir une idée des autres méthodes de preuve des théorèmes dans la sagesse de Browder, ce qui est inoffensif. La logique est un langage. Le référent d'une langue peut en être une autre. L'énoncé de la différence entre le langage et les modèles est également intéressant. Pendant longtemps, le concept de vérité n'a pas été séparé du processus de vérification - ici Hegel est approprié. Tant que les ensembles n'est pas construit, on ne peut pas en parler en termes de loi du tiers exclu. Et donc c'est annulé dans cette logique - ici Gating est approprié. Maintenant, il est clair pourquoi l'axiome du choix ne vous convient pas. Il est par ailleurs lui même «inclusif» dans le sens qu'il postule simplement l'existence les ensembles sans préciser exactement comment vous avez pris une chaussette dans chaque boîte....Tous dans le même bateau de toute fačon.
-----