Question: 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?
Sentence (from "Constructible universe"): It was introduced by Kurt Gödel in his 1938 paper "The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis".
Relevant evidence: No