Ein logisches Paradoxon („Dieser Satz ist falsch“), das in symbolischer KI und formaler Logik als Grenzfall für Inferenzsysteme dient. Solche Paradoxien zeigen die Grenzen formaler Systeme und deren Entscheidbarkeit auf.