Implementation of mathematics in set theory: Difference between revisions

Revision as of 18:00, 21 December 2005

Revision as of 18:02, 21 December 2005

Line 61:

The internal details of these definitions have nothing to do with their actual mathematical

function. For any notion <math>(x,y)</math> of ordered pair, the things that mattersmatter are

that it satisfy the defining condition