Release Message:  We appear to be able to use simple English to define a decimal expansion in a way that is self-contradictory. Authored by Jules Richard.

Description:  In logic, Richard's paradox is a semantical antinomy in set theory and natural language first described by the French mathematician Jules Richard in 1905. Today, the paradox is ordinarily used in order to motivate the importance of carefully distinguishing between mathematics and metamathematics. The paradox was also a motivation in the development of predicative mathematics.