5. Existential quantification

Stating that a property holds for some element in a given set is an important part of mathematics just as is stating that a property holds for all elements.