Back مفارقة ريتشارد Arabic Paradoxa de Richard Catalan Richards Paradox German Richard's paradox English Paradoxe de Richard French הפרדוקס של רישאר HE Richard-paradoxon Hungarian Ռիշարի պարադոքս Armenian Paradosso di Richard Italian リシャールのパラドックス Japanese
En lógica, la Paradoja de Richard es una antinomia de la teoría de conjuntos y el lenguaje natural que fue descrita por primera vez por el matemático Jules Richard en 1905. La paradoja se usa comúnmente para denotar la importancia de distinguir entre las matemáticas y las metamatemáticas.
Kurt Gödel citó específicamente la antinomia de Richard como un análogo semántico a su resultado de incompletitud en la introducción de Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados. La paradoja también fue una motivación para el desarrollo de las matemáticas impredicativas.