A paradox in epistemic logic concerning self-reference, where a statement claims its own unprovability or unknowability, leading to logical contradictions.