Paradoxe de Richard

Un paradoxe de définissabilité concernant les réels : si l'on tente d'énumérer tous les nombres réels définissables en langue naturelle, on peut diagonaliser cette liste pour produire un nouveau réel qui est lui‑même définissable, aboutissant à une contradiction qui révèle l'imprécision de la définissabilité informelle.