[FOM] Correction

Arnon Avron aa at tau.ac.il
Wed Oct 26 02:27:33 EDT 2005


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


More information about the FOM mailing list