The simplest self-referential paradox. It cannot be consistently assigned a truth value under classical logic. Godel used a mathematical version to prove his Incompleteness Theorems, showing that any sufficiently powerful formal system contains true statements it cannot prove.