Our regimentation of Goodman and Myhill’s proof of Excluded Middle revealed among its premises a form of Choice and an instance of Separation.

中文翻译：

---

选择真的意味着排除中间吗？第二部分：古德曼-迈希尔结果的历史、哲学和基础反思

我们对 Goodman 和 Myhill 的排除中间证明的整理在其前提中揭示了一种选择形式和一种分离实例。