结论 Q在指派a下的值aO 将α作为命题形式时,a关于po,p1,P2,…的指派 <σ(0),σ(四1),σ(門2),…>的值.α σ ασ = α , α p0, p1, p2, · · · < σ(p0), σ(p1), σ(p2), · · · > . 10