格等直观的手段证明命题的方法。这类证明可以达到不借助语言而证明的效果。如右图是勾股定理的一个图示证明。
计算机辅助证明.电脑协助证明是二十世纪出现的证明方式。直到二十世纪中，人们一直认为任何的数学证明都应当能够被一个水平足够的数学家检验，以证实其正确性。然而，今天的数学家已经能够运用计算机来证明定理，并且完成人类难以做到的计算。1976年四色定理的证明是计算机辅助证明的经典例子。证明的方法是将地图上的无限种可能情况减少为1936种状态，并由计算机对每个可能的情况进行验证。有不少数学