为了叙述简便，我们不妨将提到的“大型猎物”限定为居住在撒哈拉沙漠上的狮子。显然，只需要在形式上加以修改，文中列举的方法便可以自然地扩展到其他的野兽和其他的地域上。

    数学方法

    希尔伯特方法：我们将一个锁住的笼子放在沙漠的一个已知位置上，然后引入以下的逻辑系统：

    公理一：撒哈拉沙漠中的狮子集不是空集；

    公理二：如果撒哈拉里有一头狮子，那么笼子里就有一头狮子；

    推理规范：如果P是一个定理，同时有“P蕴含了Q”，那么Q是一个定理；

    定理一：笼子里有一头狮子。

    反演几何学方法：我们在沙漠里放一个球形的笼子 ......