后段取用小写字母来定义变量范围，且及于整个定义域；而从字母群的初始段取用的小写字母就用来作为任意个体的名称。假如以一公式以原子公式表示再接着，因此逻辑双如言右边的次公式表为原子公式的定义，他们的变量就为非约束形式。否则，变数不是外显性的量化而是内隐性的全称量化。底下所提的公理Cn系列对应到卡塞迪与瓦力(1999年: chpt. 4)着述里的公理C.n系列。咱们从拓扑的基本理论谈起，如二元关系的"连接"特性；基本原子公式"Cxy"表示""x"是连接到"y""。连结是被控制着，至少，是经由这些公理来达成：