> Isn't it fair to say that that proof of > Cantor's Theorem is a capital example of > the sort of purely logical, nonconstructive > proof which motivated Brouwer's churlish > observations about the logical? No, it would be quite unfair. The proof of Cantor's Theorem is constructive. Neil Tennant