Jan: Just because mathematics can be formuiated in terms of sets--say in ZFC--that doesn't mean that it has to be so formulated. I believe that Archimedes, Newton, and Euler--for examples--produced mathematics. Best wishes from Annapolis for a happy year 2000, Sam Kutler