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