existence theorems

• are theorems that take the form $\exists x,\mathbb{R}x$