一阶逻辑有两个基本量词：全称量词和存在量词。后者被解释为特称量词的发展，其中的一个解释模型是欧拉图模型。这一解释被质疑多年，具有不完备性，并与现代（莱布尼茨之后）的存在量词语义不一致，这使得逻辑史家“百思不得其解”。如 Keith Stenning, Michiel Van Lambalgen问道： “How could a brilliant mathematician like Euler make such a fundamental mistake?” （Keith Stenning, Michiel Van Lambalgen, Human Reasoning and Cognitive Science, The MIT Press, Cambridge MA, 302~303(2008)）。本文提供了一个新的改进方案，力图避免这种不完备性及不一致性。