代数替换公理(algebraic substitution axiom)：在任一代数恒等式中，每一个字母符号只是一个泛指的变量，因而可用其它形式的字母或恒等的函数表达式(只要用这些表达式替换后等式两边均仍有意义)替换，替换后等式仍成立。
鸿凯词语词典，专业汉语查询工具。收录海量成语、近义词、反义词及组词，解释详尽，例句丰富。每日更新，助力您的语言学习与创作。