É uma verdade necessária que 2+2=4 é uma verdade necessária que 2+2=5 é absurdo. Verdades matemáticas se demonstraveis são verdadeiras em todos os mundos possíveis. Mas existem mundos possíveis que teoremas matemáticos não foram demonstrados.