https://en.formulasearchengine.com/w/index.php?action=history&feed=atom&title=Implementation_of_mathematics_in_set_theoryImplementation of mathematics in set theory - Revision history2026-09-15T22:46:18ZRevision history for this page on the wikiMediaWiki 1.47.0-wmf.7https://en.formulasearchengine.com/w/index.php?title=Implementation_of_mathematics_in_set_theory&diff=245546&oldid=prev5.68.41.67: /* 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.2014-08-19T05:54:26Z<p><span class="autocomment">Related definitions: </span> 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.</p>
<a href="https://en.formulasearchengine.com/w/index.php?title=Implementation_of_mathematics_in_set_theory&diff=245546&oldid=12222">Show changes</a>5.68.41.67https://en.formulasearchengine.com/w/index.php?title=Implementation_of_mathematics_in_set_theory&diff=12222&oldid=preven>Quondum: /* Size of sets */ lk Schröder-Bernstein theorem → Schröder–Bernstein theorem2013-12-19T15:18:52Z<p><span class="autocomment">Size of sets: </span> lk <a href="/w/index.php?title=Schr%C3%B6der-Bernstein_theorem&action=edit&redlink=1" class="new" title="Schröder-Bernstein theorem (page does not exist)">Schröder-Bernstein theorem</a> → <a href="/wiki/Cantor%E2%80%93Bernstein%E2%80%93Schroeder_theorem" title="Cantor–Bernstein–Schroeder theorem">Schröder–Bernstein theorem</a></p>
<a href="https://en.formulasearchengine.com/w/index.php?title=Implementation_of_mathematics_in_set_theory&diff=12222&oldid=245545">Show changes</a>en>Quondumhttps://en.formulasearchengine.com/w/index.php?title=Implementation_of_mathematics_in_set_theory&diff=245545&oldid=preven>Y256: /* External links */2012-07-23T03:42:49Z<p><span class="autocomment">External links</span></p>
<a href="https://en.formulasearchengine.com/w/index.php?title=Implementation_of_mathematics_in_set_theory&diff=245545">Show changes</a>en>Y256