A第一性原理出发的公理化方法B推理计算C实验中归纳基本规律D凭空猜想