Set theory provides by far the easiest proof of the existence of transcendental numbers -- just show that the algebraic numbers and the integers can be put into 1-1 correspondence, but the real numbers and the integers can not. Liouville's proof isn't too hard, but it's nowhere near as elegant.