指发现、积累并公认的普遍真理或普遍定理的运用,已系统化和公式化了的知识