数学，逻辑，统计，信息论，博弈论等形式科学（Formal sciences）。