Demonstrações de existência de elementos que gozam duma certa propriedade. Um primeiro exemplo em que se exibe explicitamente um ente matemático que goza dessa propriedade. Um segundo exemplo em que não se exibe explicitamente tal exemplo.

A definição de continuidade como exemplo duma definição em que entram três quantificadores: para todo, existe, para todo.