Paradoja que llama la atención sobre el hecho de que han de ser muy claras las reglas con las que se distingue entre «uso» y «mención».
Por ejemplo:
El siguiente tipo de inferencia:
se aplica corrientemente y se ajusta completamente a los patrones aceptados de rigor lógico.
Consideremos, sin embargo, la inferencia similar:
___________________
Esta inferencia, aunque aparentemente es del mismo tipo y parte de premisas ciertas, conduce a una conclusión falsa (ver referencia).
En la primera conclusión, la expresión numérica es una expresión usada, mientras que en la segunda conclusión la expresión numérica está simplemente mencionada.