O studio do raxonamento mecanico ò «formale» o l’é comensou co-i filòsofi e i studioxi de matematica inte l’antighitæ.