Théorème de la borne supérieure
Un article de Wikipédia, l'encyclopédie libre.
Théorème de la borne supérieure. - Toute partie non vide majorée de l'ensemble 
des nombres réels admet une borne supérieure.
Note: On l'appelle parfois aussi axiome plutôt que théorème.
