乙编　道

在反基础公理（AFA）下，（平坦）方程组有唯一解（Aczel 解引理）；本原方程以此取代公理命题。