展开 皮埃诺公理数学表达