Implementation of mathematics in set theory: Difference between revisions

Revision as of 19:09, 21 December 2005

Revision as of 19:10, 21 December 2005

Line 194:

a relation between A and B rather than a relation between objects <math>|A|</math> and

<math>|B|</math> which have not yet been defined. We also provide notation <math>A \sim B</math>

for this notationrelation to be used in contexts such as the actual definition of the cardinals where

even the appearance of presupposing abstract cardinals should be avoided.