Re: doubting successor

Helene.Boucher_at_wanadoo.fr
Date: 03/24/05 

Date: 24 Mar 2005 05:06:51 -0800

Torkel Franzen wrote:
> Well, the idea that people
> using or working in mathematics will ever find that setting aside the
> successor axiom is a good idea (for whatever reason) is just a pipe
> dream, such as might result from smoking some powerful weed.

Ah I didn't realize that we derive the expression "pipe dream" from the
metaphor of smoking a powerful weed. Interesting.