定理14的归纳证明—奠基步骤 (1)当=1时,a1是P的一个公理,或a1∈∑ (1.1)若a1是P的一个公理,由引理1知∑卜Na1 (1.2)若a1∈∑,由N的规则(∈)知∑卜Na114 — (1) i = 1 , α1 P ✚ , α1 ∈ Σ. (1.1) α1 P ✚ , ✓1 Σ `N α1. (1.2) α1 ∈ Σ, ✓N (∈) Σ `N α1. 7