Studi teuntang penalaran mekanis atawa "formal" ji mulai ngen para filsuf ngon matematikawan di jameun kuno.