The development of formal systems began over 3,000 years ago and gradually established the whole idea of thinking formally, most notably in Euclid's elements. The ability to think in this abstract, formal way is a result of intuition grounded in experience and allows new truths to be derived from others.