形式逻辑俱乐部

发布于2010年3月8日，星期一。

我已经笑了好几个星期了。不分享太好了。

形式逻辑俱乐部的第一条规则是你不能证明形式逻辑俱乐部是一致的。

形式逻辑俱乐部的第二条规则是你不能证明形式逻辑俱乐部的不一致性。

—詹姆斯·格里梅尔曼

（是的，这看起来像http://xkcd.com/703/,但它比xkcd快了十年，更有趣。）