Certaines phrases traitant d'elles-mêmes ne sont ni vraies ni fausses ; à l'opposé, d'autres sont vraies en même temps que leur négation. Caillou, puis atout dans la chaussure des logiciens, les autoréférences apparaissent dans tous les domaines.