منطق ریاضی و علوم پایه