In ambito pedagogico e didattico, l'aritmetica che sviluppa analisi su concetti o procedimenti per indurre, mediante ragionamento (e non tramite intuizione), la deduzione di talune proprietà formali da precedenti proprietà