形式科学 是与形式系统，如逻辑学、数学、理论计算机科学、信息理论、系统理论、判定理论、统计学和一些语义学层状距矛益等有关的知识的分支。和其他科学不同，形式科学不是和基于真实世界观察理论有效性联系的，而与定义和规律为基础的形式系统性质相联系，但形式科学的方法可以被用来建造和检验观察真实世界的科学模型(或通用手段)。