是由数学家尼尔斯·阿贝尔证明的。
简介.考虑一个具一般性的例子，有一个以下的方程：其中formula_14为未知数，而formula_15为常数。其解为反像集合的成员其中formula_17为函数formula_18的定义域。注意解集合可能为空集合（没有解）、单元素集合（唯一解）、有限个元素的集合及无限多个元素的集合（有无限多的解）。例如，以下的方程：其未知数为formula_3, formula_6及formula_22，可以在等式二侧同减formula_23，得