A real number is transcendental if is not algebraic. The proof that transcendental numbers exist, due to Joseph Liouville, can be seen as an higher analogue of the Pythagorean proof that irrational numbers exist, a continuation of a thread of reasoning picked up again after two thousand years.
