源文件搜索路径

这个第六节的名字，是我自己取的，因为这个名字我才感觉是贴合它的实际作用，有些博客起的名字有的叫目标文件搜索，有的叫文件搜寻，等等，但我感觉都不切合实际，所有就自己取了一个名字。

这个和第七个将要讲的include虽然都有包含的意思，但是不是一个东西，要注意区分，这个源文件搜索路径，是我们在编译的时候，如果工程量巨大，源文件不都在当前目录下，存放于其他目录下，那么VPATH或者vpath就派上了用场，用来指定找寻不在当前目录下的源文件的目录。

VPATH 和 vpath 的区别：VPATH 是变量，更具体的说是环境变量，Makefile 中的一种特殊变量，使用时需要指定文件的路径；vpath 是关键字，按照模式搜索，也可以说成是选择搜索。搜索的时候不仅需要加上文件的路径，还需要加上相应限制的条件。

通俗点说，就是VPATH是一个不具有筛选条件的指定路径方法，如果缺失了一个文件，makefile会去VPATH中的所有目录中挨个寻找对比，效率低。而vpath带了模式搜索，可以选择性的指定哪种类型的文件去哪个目录下寻找，比较方便。

第一个常用的公理系统是E.F.F.策梅洛和A.A.弗伦克尔等提出的ZF系统。这个系统中只有一个非逻辑二元关系符号∈，非逻辑公理有：外延公理、空集公理、无序对公理、并集公理、幂集公理、无穷公理、分离公理模式、替换公理模式、正则公理。如果加上选择公理就构成ZFC系统。利用公理可以定义出空集、序对、关系、函数等集合，还可以给出序关系、良序关系、序数、基数，也可以给出自然数、整数、实数等概念。

通过元语言，也可公理系统中各公理之间的相容性和独立性，例如Cohen于1960年创立公理集合论中的力迫法，并用来证明ZFC与连续统假设CH独立。[1]公理集合论发展很快，马丁公理、苏斯林假设等新公理新方法已被广泛使用，组合集合论、描述集合论、大基数、力迫法的研究也持续发展。