​call 函数是

call 函数是唯一 一个可以调用参数化表达式的函数。我们可以用来写一个非常复杂的表达式，这个表达式中，我们可以定义很多的参数，然后你可以用 call 函数来向这个表达式传递参数。

当 make 执行这个函数的时候，expression参数中的变量$(1)、$(2)、$(3)等，会被参数parm1，parm2，parm3依次取代。而expression的返回值就是 call 函数的返回值。

无矛盾性的意义是?

非欧几里得几何学的产生源于人们想证平行公设。当多方证明尚无结果时，便想起反证法。假设平行公设不成立但别的公设全部有效而进行推导，如果能够推出矛盾，那么根据反证法便把平行公设作为定理而证出来了。但推来推去始终得不出矛盾，到19世纪初，人们开始相信：否定平行公设不会导致矛盾而将得出一个新几何(非欧几何)来。但要使新几何的确成立，不能依靠这种信念而必须严格证明：否定平行公设而承认其余公设不会导致矛盾。这样，第一次要求对数学的一个部门证明其无矛盾。