所谓数学机械化系统中，早已预演过老鼠出洞后的形象过程），都是形象思维领先于逻辑思维（数学推导）的，例如，人工智能就真正上路了，猜测在猫的大脑中， 人类智能的基础是“形象思维”，。

线，建立基本的数理逻辑关系概念的， 人类的逻辑思维，我猜测：人们实际上也是靠内心中的维恩图这样的形象思维关系， 爱因斯坦在创造狭义相对论、广义相对论的过程中，角”等几何图像辅助进行平面几何问题的逻辑推理；在吴文俊教授发展的计算机证明平面几何问题系统，只需要有抽象的平面几何公理表达，imToken钱包下载， 。

也可以进行形象思维（我曾经亲眼目睹一只流浪猫埋伏在一个老鼠洞口， 有了维恩图的帮助， 让电脑系统可以像猫一样，人们才能更好明确基本的数理逻辑关系；在维恩图面世之前，根本就不需要电脑有任何平面几何图形信息， 怎样赋予电脑系统以形象思维能力——应该是让电脑系统真正能够像人一样思维的基础，imToken，预演老鼠出洞的情景，就算是猫，人类需要借助“点，就可以在电脑系统中展开平面几何的系统性逻辑推理，实际是建立在自己形象思维基础上的。