科学是建立在可检验的解释和对客观事物的形式、组织等进行预测的有序知识系统，是已系统化和公式化了的知识。根据这些（科学）系统知识所要反映对象的领域，主要可分为自然科学、社会科学、思维科学、形式科学和交叉学科。科学是一个建立在可检验的解释和对客观事物的形式、组织等进行预测的有序的知识系统，是已系统化和公式化了的知识。其对象是客观现象，内容是形式化的科学理论，形式是语言，包括自然语言与数学语言。