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?
Richard's paradox In logic, Richard's paradox is a semantical antinomy of set theory and natural language first described by the French mathematician Jules Richard in 1905. The paradox is ordinarily used to motivate the importance of distinguishing carefully between mathematics and metamathematics. Kurt Gödel specifically cites Richard's antinomy as a semantical analogue to his syntactical incompleteness result in the introductory section of "On Formally Undecidable Propositions in Principia Mathematica and Related Systems I". The paradox was also a motivation of the development of predicative mathematics.
Giuseppe Peano Giuseppe Peano (] ; 27 August 1858 – 20 April 1932) was an Italian mathematician. The author of over 200 books and papers, he was a founder of mathematical logic and set theory, to which he contributed much notation. The standard axiomatization of the natural numbers is named the Peano axioms in his honor. As part of this effort, he made key contributions to the modern rigorous and systematic treatment of the method of mathematical induction. He spent most of his career teaching mathematics at the University of Turin.