Slater wrote: 10/8/03 9:02PM Holmes: >>The foundations of mathematics are in good hands. Leave them there. Slater: >(Should I make the implication of the last three lines explicit?) Would you care to fully explain what you are taking about, exactly? Harvey Friedman