In logic, Richard's paradox is a semantical antinomy of set theory and natural language first described by the French mathematician Jules Richard in which year, Kurt Gödel specifically cites Richard's antinomy as a semantical analogue to his syntactical incompleteness result?
Kurt Gödel Kurt Friedrich Gödel ( , ; ] ; April 28, 1906 – January 14, 1978) was an Austrian, and later American, logician, mathematician, and philosopher. Considered along with Aristotle, Alfred Tarski and Gottlob Frege to be one of the most significant logicians in history, Gödel made an immense impact upon scientific and philosophical thinking in the 20th century, a time when others such as Bertrand Russell, Alfred North Whitehead, and David Hilbert were analyzing the use of logic and set theory to understand the foundations of mathematics pioneered by Georg Cantor.
Definable set In mathematical logic, a definable set is an "n"-ary relation on the domain of a structure whose elements are precisely those elements satisfying some formula in the language of that structure. A set can be defined with or without parameters, which are elements of the domain that can be referenced in the formula defining the relation.