Пусть - множество верхних границ множества , то есть

поскольку множество - ограничено сверху, то - непусто. Причём ясно, что выполнено .

Тогда в силу аксиомы полноты, найдётся такое число , что выполнено .

Утверждается, что это и будет супремумом , то есть .

Действительно, из определения ясно, что - верхняя граница для . Но почему она неулучшаема? Давайте предположим, что такое, что выполнено .

Но тогда , и в то же время . Получаем противоречие с тем, что выполнено .

Следовательно, .

Аналогичным образом можно показать и существование инфимума у любого ограниченного снизу множества.