 Lindemann's proof was much simplified by Weierstrass (1885), still further by David Hilbert (1893), and has finally been made elementary by Adolf Hurwitz and Paul Gordan.The development of calculus in the 18th century used the entire set of real numbers without having defined them cleanly.The first rigorous definition was published by Georg Cantor in 1871.