式表为原子公式的定义，他们的变量就为非约束形式。否则，变数不是外显性的量化而是内隐性的全称量化。底下所提的公理Cn系列对应到卡塞迪与瓦力(1999年: chpt. 4)着述里的公理C.n系列。咱们从拓扑的基本理论谈起，如二元关系的"连接"特性；基本原子公式"Cxy"表示""x"是连接到"y""。连结是被控制着，至少，是经由这些公理来达成：C1. formula_1 (自反关系)C2. formula_2 (对称)现在假定二元关系为"E"，定义为：formula_3"Exy"读为""y