数理逻辑；证明以哲学历史为主的人文方法是传统学术的特点