Zorn の補題(Zorn's Lemma)は集合論で出てくる定理であり、ZF の上で選択公理(Axiom of Choice)と同値な命題として知られています。
驚いたことにこれにちなんだ同名の映画というものがあり、実際 YouTube で観ることができます。アルファベット順になっていること以外、少なくとも一見しただけでは意味が分からないです。それでも何となく楽しいような気がするのは補題のご利益でしょうか。
ちなみに、Axiom of Choice というバンドもあるそうです。
参考