हालांकि, थेल्स अपन अमूर्त निगमनात्मक तर्क के जौरे उन्नत ज्यामिति के सार्वभौमिक सामान्यीकरण तक पहुँचा देलई।