存在性证明

构造性证明

归谬证明，量词化的否定存在矛盾

---

唯一存在证明

$$(\exists !x)P(x)⟺\exists x(P(x)\wedge \forall y(P(y)\to y=x))$$

存在性和唯一性两步走

如何表示只存在两个？

存在两个，任意满足的都是这两个中的一个