运用抽象符号进行科学思维和表述科学知识的方法。通常用于表达概念、判断、推理，构建公理化体系。用于公理系统后产生的形式系统，是形式化方法高度发展的标志。运用形式化方法，能克服自然语言的歧义性，简洁而精确地表述科学理论。