Основные леммы, связанные с аксиомой полноты

Конспект второй лекции.