In opposition to the Naturalists, the constructivists saw a need to improve upon the logical rigor in the foundations of mathematics.[lower-alpha 8] In the 1860s, Hermann Grassmann suggested a recursive definition for natural numbers, thus stating they were not really natural—but a consequence of definitions. Later, two classes of such formal definitions were constructed; later still, they were shown to be equivalent in most practical applications.