Paradoja de Richard

Una paradoja de definibilidad sobre números reales: si se intenta enumerar todos los reales definibles en lengua natural, se puede diagonalizar esa lista para producir un nuevo número real que a su vez es definible, generando contradicción y mostrando la imprecisión de la definibilidad informal.