علوم ریاضی و منطق استدلالی