É comumente aceite que existem dois tipos de entidades existentes: as que existem mas que poderiam não ter existido, e aquelas que não poderiam ter falhado. As entidades de primeiro tipo são seres contingentes; entidades do segundo tipo são seres necessários.. [1] Estaremos preocupados com este último tipo de entidade neste artigo.Existem várias entidades que, se existirem, seriam candidatas a seres necessários: Deus, propostas, relações, propriedades, estados de coisas, mundos possíveis, e números, entre outros. Note que a primeira entidade desta lista é uma entidade concreta, enquanto as restantes são entidades abstratas. Muitas questões filosóficas interessantes surgem quando se pergunta sobre os seres necessários: O que faz com que seja necessariamente o caso de que eles existem? Há alguma base para a sua existência necessária? Alguns dependem dos outros? Se sim, como se pode entender a relação de dependência?