Se a frase "não há verdades necessárias" é verdadeira, ela não pode ser verdadeira em todos os mundos possíveis, pois desse modo seria necessariamente verdadeira. Logo, há pelo menos um mundo possível em que a frase "não há verdades necessárias" é falsa e em que, logo, a sua contraditória, "há verdades necessárias", é verdadeira. Mas para que a frase "há verdades necessárias" seja verdadeira em pelo menos um mundo possível, ela tem de ser verdadeira em todos os mundos possíveis. Ora, ela é verdadeira em pelo menos um mundo possível. Logo, é verdadeira em todos os mundos possíveis. Logo, há verdades necessárias.