Ուսմունք մտածողության տրամաբանական ձևերի մասին, որ զգալիորեն զարգացնում, ընդհանրացնում և ընդարձակում Է ձևական տրամաբանության շրջանակները՝ մաթեմատիկական մեթոդների կիրառության շնորհիվ: