Mathematical/logic proof that unicorns exist.

Let's first define a set as a finite or infinite collection of unique objects. With sets you can also perform some operations on, like the union or intersection.

With that we define the existing set of all sets that do not contain themselves.

From that logically follows that unicorns exist.