In my last message about predicativism and excluded middle I meant to say, of course, that the whole of classical logic is a part of predicative mathematics (not that the whole of classical mathematics is a part of predicative mathematics). Arnon Avron