此文编译自一篇1938年发表在《美国数学月刊》上的真实论文，原文的题目是《关于狩猎大型猎物的数学定理的研究》，虽然题目有点“雷”，但它极具传播效率地向有兴趣的读者介绍了当时数学和物理学的发展分支。因为版面有限，我们做了删节，如果您感兴趣，请到果壳网查阅原文。
作者H.Petard是数学家E.S.Pondiczery的笔名。更有意思的是，E.S.Pondiczery本身也是一个笔名，是数学家Ralph P. Boas,Jr.和同事们长期合作发表论文时虚构的人物。
为了叙述简便，我们不妨将提到的“大型猎物”限定为居住在撒哈拉沙漠上的狮子。显然，只需要在形式上加以修改，文中列举的方法便可以自然地扩展到其他的野兽和其他的地域上。
数学方法
希尔伯特方法：我们将一个锁住的笼子放在沙漠的一个已知位置上，然后引入以下的逻辑系统：
公理一：撒哈拉沙漠中的狮子集不是空集；
[1] [2] [3] [4] 下一页
