Symbolism is useful because it makes things difficult. Now in the beginning everything is self-evident, and it is hard to see whether one self-evident proposition follows from another or not. Obviousness is always the enemy to correctness. Hence we must invent a new and difficult symbolism in which nothing is obvious. … Thus the whole of Arithmetic and Algebra has been shown to require three indefinable notions and five indemonstrable propositions.