Houston, we have a problem...

.
Simpaticamente identificada por um grego há quase 3.000 anos.

Alguém que me consiga dizer se as seguintes proposições são verdadeiras ou falsas dentro de um sistema que as considere logicamente significativas:

.

1.

Epimenides, um cretense, afirmou: "Todos os cretenses são mentirosos".

Variante:

Esta frase é falsa.

.

2.

A próxima frase é falsa.

A frase anterior é verdadeira.

.

.

M.C. Escher