Thales, meskipun, geometri lanjutan dengan penalaran abstrak deduktif mencapai generalisasi universal.