**Description:** Equinumerosity is reflexive. Theorem 1 of Suppes p. 92. (Contributed by NM, 25-Sep-2004)

Ref | Expression | ||
---|---|---|---|

Hypothesis | enref.1 | $${\u22a2}{A}\in \mathrm{V}$$ | |

Assertion | enref | $${\u22a2}{A}\approx {A}$$ |

Step | Hyp | Ref | Expression |
---|---|---|---|

1 | enref.1 | $${\u22a2}{A}\in \mathrm{V}$$ | |

2 | enrefg | $${\u22a2}{A}\in \mathrm{V}\to {A}\approx {A}$$ | |

3 | 1 2 | ax-mp | $${\u22a2}{A}\approx {A}$$ |