A proof of abstractions

We explore a proof that abstractions exist in the most transcendental language ever created -mathematics. Because without abstractions even mathematics will fall apart.