注记 形式系统P又称为希尔伯特型(D. Hilbert)系统* 分清P的定义中的元语言与对象语言。 P的形式语言是N的形式语言子语言。 关于N的注记同样适用于P,如括号省略规则。 关于形式系统的多样性请参见 1.王宪钧,数理逻辑引论,北大出版社,1982 2.沈百英,数理逻辑,国防工业出版社,1991• P (D.Hilbert) ∗ • P ✤ • P N ✤ • N P ✢✤ ∗❘❙❄❅❚❯✪❱❲❁❳❨❩: 1. ❬❭❪❂❫❴❵❛❜❝, ❞❡❢❣❤❂1982 2. ✐❥❦❂❫❴❵❛❂❧♠♥♦❢❣❤❂1991 7