We present another proof for the well-known small model property of two-variable logic. As far as we know, existing proofs of this property are based on a rather intricate model theoretic construction. In contrast, ours uses only simple combinatorial argument which we find more intuitive and direct.

中文翻译：

---

二元逻辑的小模型属性的简单组合证明

我们为二变量逻辑的众所周知的小模型属性提供了另一种证明。据我们所知，该属性的现有证明基于相当复杂的模型理论构造。相比之下，我们仅使用简单的组合参数，我们发现它们更直观，更直接。