Isn't this done all the time in basic set theory with the Schroeder-Bernstein Theorem, where we deduce equivalence (in this context, the existence of a bijection) without presenting one?
Matt
- 9
- 1