逻辑和游戏（三）

在Väänänen的逻辑中，很容易看出为什么需要一个需要的作业集，即团队。 他有一个称为依赖原子的原子公式，表达'x取决于y'，更准确地说，'x完全由y'完全确定。 我们如何在结构中解释这一点，例如自然数的结构？ 它根本没有任何意义询问，例如8是依赖于37.但是如果我们有一个有序的自然数的X队x，则询问是否在x中依赖于第二个成员依赖于X 答案是意味着存在函数f，使得x中的每对（a，b）具有表单（f（b），b）。 这种方法的优势，至少暂时宣传游戏的想法，是它引起了丰富的其他新原子公式。 例如，我们可以介绍包含原子公式x⊆y的含义，即团队中的每个值也发生，也是y的值，或原子公式x⊥y，其含义x和y的值在任何两个任务中彼此独立于团队有一个第三个，它从第二个中从第一和y的值和值取值。 如果我们用数据库中的明显意义识别团队，这些原子将显示在数据库理论中作为数据库约束的示例。