[FOM] Replacement in mathemaical practice and in predicative math

John McCarthy jmc at cs.Stanford.EDU
Mon Sep 10 01:27:04 EDT 2007

It seems to me that informal mathematics uses comprehension without
restriction, with an occasional wink at the paradoxes.  In this usage, 
replacement is unneeded as a distinct principle.

More information about the FOM mailing list