FOM: ordered pair: Bourbaki

Kanovei kanovei at
Sun May 2 15:48:09 EDT 1999

Date: Sun, 2 May 1999 18:53:21 +0200 (MEST)
From: Walter Felscher <walter.felscher at>

> Yet no harm seems to
> have been done when Bourbaki in his Th/eorie des Ensembles used the
> ordered pair as a primitive notion and defined its use through an
> axiom of unique readability.  

One may ask what, on the other side, has been the effect 
(either for foundations or for "practical mathematics") 
of such a great innovation by Bourbaki ?


More information about the FOM mailing list