The review of mechanical or "formal" reasoning commenced with philosophers and mathematicians in antiquity.
Studi indik penalaran mekanis utawi "formal" kakawitin antuk para filsuf miwah matematikawan ring zaman kuna.