OPINION LETTERS

摘要

Richard Elwes reports on Harvey Friedman's fascinating work on incompleteness in Boolean relation theory, but it is quite a stretch to extend his work to ask "are the rules of arithmetic... unsound?" (14 August, p 34). In logic, as in everyday language, the label "unsound" is generally reserved for arguments which prove false statements or contain faulty reasoning.