可以用方程的解的存在状况为方程分类，例如，恒等式即恒成立的方程，例如formula_3，在所指定的某个集合（比如复数集）中的全部元素都是它的解；矛盾式即矛盾的方程，如formula_4，在所指定的某个集合（比如复数集）中没有元素满足这个等式。等式中的等号则是16世纪英国科学教育家发明。
「方程」一词的来历.方程一词出现在中国早期的数学专着《九章算术》中，其「卷第八」即名「方程」。卷第八（一）爲：翻成白话即为：现在这里有上等黍3捆、中等黍2捆、下等黍