佐恩引理等同于选择公理。它是一个强大的数学工具。它确保了有序结构中极大元素和链的存在。它支撑着许多数学证明。 佐恩引理是一个强大的数学工具。它诞生于1935年。它有助于证明偏序集中极大元素的存在。该引理指出,如果此类集合中的每个链都有一个上界,那么就必然存在一个极大元素。这个概念等同于选择公理。选择公理是集合论中的一个基本假设。