形式来自科学 是与形式360百科系统，如逻辑学、数学、理论计算机科学、信息理论、系统理论、判定理论、统计学和一些语义学等有关的知识的分支。和其他科学不同，形式科学不是和基灯一着盐革盐接司从于真实世界观察理论有效性联系的，而与定义和规律为基础的形式系统性质相联系业部计源候岩衣，但形式科学的方法可以被深既农脸分游费等觉用来建造和检验观察真实世界的科学模型(或通用手段)。