常会有Q. E. F. （Quod erat fadum）的字样，意思是“作图完毕”，而在定理的结尾，你会看到Q. E. D. （Quod eratdemonstrandum）的字样，意思是“证明完毕”。

    《几何原理》第一册的前三个命题的问题，都是与作图有关的。为什么呢？一个答案是这些作图是为了要证明定理用的。在前四个命题中，我们看不出来，到了第五个，就是定理的部分，我们就可以看出来了。譬如等腰三角形（一个三角形有两个相等的边）的两底角相等，这就需要运用上“命题三”，一条短线取自一条长线的道理。而“命题三”又跟“命题二”的作图有关，“命题二”则跟“命题一”的作图有关，所以为了要证明“命题五”，就必须要先作三个图。

    我们也可以从另外一个目的来看作图的问题。作图很明显地与公设（postulate）相似，两者都声称几何的运作是可以执行出来的。在公设的案例中，这个可能性是假定（assumed）出来的。在命题的案例中，那是要证明（proved）出来的。当然，要这样证明，需要用到公设。因此，举例来说，我们可能会疑惑是否真的有“定义二0”中所定义的等边三角形这回事。但是我们用不着为这些数学物件是否存在而困扰，至少我们可以看到“命题一”所说的：基于有这些直线与圆的假定，自然可以导引出有像等边三角形这样东西的存在了。

    我们再回到“命题五”，有关等腰三角形的内角相同的定理。要达到这个结论，牵涉前面许多命题与公设，并且必须证明本身的命题。这样就可以看出，如果某件事为真（也就是我们有一个等腰三角形的假设），并且如果其他某些附加条件也成立（定义、公设与前面其他的命题），那么另一件事（也就是结论）亦为真。命题所重视的是“若……则”这样的关系。命题要确定的不是假设是否为真，也不是结论是否为真——除非假设为真的时候。而除非命题得到证明，否则我们就无法确认假设和结论的关系是否为真。命题所证明的，纯粹是这种关系是否为真。别无其他。

    说这样的东西是优美的，有夸大其词吗？我们并不这么认为。我们在这里所谈的只是针对一个真正有范围限制的问题．作出真正逻辑的解释。在解释的清晰与问题范围有限制的特质之中，有一种特别的吸引力。在一般的谈话中，就算是非常好的哲学家在讨论，也没法将问题如此这般说得一清二楚。而在哲学问题中，即使用上逻辑的概念，也很难像这样清晰地解说出来。

    关于前面所列举的“命题五”的论点，与最简单的三段论法之间的差异性，我们再作些说明。所谓三段论法就是：

    所有的动物终有一死；

    所有的人都是动物；

    因此，所有的人终有一死。

    这个推论也确实适用于某些事。我们可以把它想成是数学上的推论。假定有动物及人这些东西，再假设动物是会死的。那就可以导引出像前面所说三角形那样确切的结论了。但这里的问题是动物和人是确切存在的，我们是就一些真实存在的东西来假设一些事情。我们一定得用数学上用不着的方法，来检验我们的假设。欧几里得的命题就不担心这一点。他并不在意到底有没有等腰三角形这回事。他说的是，如果有等腰三角形，如果如此定义，那一定可以导引出两个底角相同的结论。你真的用不着怀疑这件事——永远不必。

    04 掌握科学作品中的数学问题

    关于欧几里得的话题已经有点离题了。我们所关心的是在科学作品中有相当多的数学问题，而这也是一个主要的阅读障碍。关于这一点有几件事要说明如下。

    第一，你至少可以把一些比你想象的基础程度的数学读得更明白。我们已经建议你从