鏈式邊界：佐恩引理的最簡證明以及計算機化證明形式化的說明

本文提出了一種基於鏈式邊界引理的佐恩引理的新證明，該證明方法簡單易懂，並且不依賴選擇公理。