Implementation of mathematics in set theory: Difference between revisions

Revision as of 03:21, 21 December 2005

Revision as of 03:22, 21 December 2005

Line 159:

in either theory (in ZFC because it is too large; in NFU because its definition is unstratified

and further it can be proved that there is no such function: see the resolution of

Cantor's paradox in the [[New Foundations]] article).

=== Special kinds of function ===