形式科學 形式科學formal science是指主要研究對象為抽象形態的科學如邏輯數學統計學等