George Boolos

difficile del mondo；英文：The Hardest Logic Puzzle Ever）乃美國哲學與邏輯學家 George Boolos（英语：George Boolos） 一篇文章的標題及其所載謎題的名稱。該文章於1992年先刊登在意大利《共和報》上，到了1996年再在《哈佛哲學評論》刊

George Boolos（1998）和 Anderson 与 Zalta（2004）展示了如何修补它。 皮亚诺算术 ZFC 公理化集合论 新基础集合论 Anderson, D. J., and Edward Zalta, 2004, "Frege, Boolos, and Logical

variable…"，Journal of Philosophy，1984（在书Logic, Logic and Logic中再次发表）中，小George Boolos认为許多集合論中的結論，也可以透過對个体进行复数量化（英语：Plural quantification）來得到，所以無需把集合具体化為包含其他实体作为元素的实体。

的证明。因此，切规则是可接纳的。 对于用相继式公式化的系统，分析性证明是不使用切规则的证明。这种证明典型的会很长，当然没有必要这么做。在散文《不要消除切呀!》中，George Boolos展示了可以使用切在一页中完成的推导，而它的分析性证明要耗尽宇宙的寿命来完成。 这个定理有很多丰富的推论。一旦一个系统被证明有切消定理，这

(2nd ed.). Cambridge University Press. ISBN 0-521-77911-1. George Boolos（英语：George Boolos） & Richard Jeffrey（英语：Richard Jeffrey） (1989). Computability