Implementation of mathematics in set theory: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

19 August 2014

  • curprev 07:5407:54, 19 August 20145.68.41.67 talk 58,996 bytes −7 →‎Related definitions: This must have been a mistake. xRy usually refers to an ordered pair, which as noted above, can be implemented as a set but this would be ambiguous (which implementation?). R would be less ambiguous as a set, but not include y.

19 December 2013

23 July 2012