E' una questione di linguaggio e metalinguaggio che Bertrand Russel risolse con la famosa "Teoria dei Tipi".
Il famoso Paradosso del Mentitore, enunciato da voi, è un problema alla base della logica e della matematica moderne.
Su di esso è fondato il principio del Teorema di Godel, cioè del teorema dell'incompletezza dei sistemi formali.
Segnalibri