ریاضیات و منطق