Etude des concepts, théories et procédures démonstratives logico-mathématiques dans leur relation au débat philosophique en théorie de la connaissance et en ontologie.
Analyse historique du développement des concepts et des théories mathématiques modernes et contemporaines.
Etude des rapports entre concepts, langage, théorie et symbolisme en mathématique.