决问题。使用一个大写的拉丁字母来定义一个二元关系及谓词变量()，而谓词变量的字母关系到一阶逻辑的关系。从拉丁字母群(A-Z)的后段取用小写字母来定义变量范围，且及于整个定义域；而从字母群的初始段取用的小写字母就用来作为任意个体的名称。假如以一公式以原子公式表示再接着，因此逻辑双如言右边的次公式表为原子公式的定义，他们的变量就为非约束形式。否则，变数不是外显性的量化而是内隐性的全称量化。底下所提的公理Cn系列对应到卡塞迪与瓦力(1999年: chpt. 4)着述里的公理C.n系列。咱们从拓扑的基本理论