DDouglas R. Hofstadter@douglasRHofstadter[...] la prouvabilité est une notion plus faible que la véritéil y a 1 an