形式科學
維基百科,自由的
encyclopedia
形式科學
(formal science)是指主要研究對象為
抽象
形態的科學,如
邏輯
、
數學
、
統計學
等。