This paper investigates the principles that one must add to Boolean algebra to capture reasoning not only about intersection, union, and complementation of sets, but also about the relative size of sets. We completely axiomatize such reasoning under the Cantorian definition of relative size in terms of injections.

中文翻译：

---

比较基数的逻辑

本文研究了必须添加到布尔代数中的原则，以捕捉不仅关于集合的交集、并集和互补的推理，还包括关于集合的相对大小的推理。我们根据 Cantorian 对注射相对大小的定义完全公理化了这种推理。