Histoire des mathématiques Théorème

lemme de Zorn

Théorème

lemme de la théorie des ensembles

Énoncé

$$\left(\forall C\subset P\colon(\forall c,c'\in C\colon c\le c'\lor c\ge c')\implies\exists u\in P\colon C\le u\right)\implies\exists m\in P\forall p\in P\colon m\not\le p$$

Liens

a été formulé par

Sources