Axiome du choix de la paire

Tout le monde connaît l'axiome de la paire (l'un des fondements de l'axiomatique de Zermelo-Fraenkel). Ce que l'on sait sans doute moins, c'est qu'en avril 1956, un chercheur croate en logique molle tenta de réunir dans une même pièce le dit axiome de la paire avec l'axiome du choix. Il démontra ainsi l'existence d'un axiome alternatif (une sorte de regroupement des deux) qu'il nomma l'axiome du choix de la paire. Totalement oublié aujourd'hui car parfaitement inutilisable et sans aucun intérêt formel, cet axiome (et par là même cet vil chercheur croate) fut la risée de la SAAC pendant 17 jours. On se s'improvise pas axiomaticien...