匿名回答于2021-04-18 23:41:55
在为数学的语言和推理建立形式系统的过程中,一阶逻辑处于核心地位,多数常见的数学公理系统都可在一阶逻辑中表述。(F.L.)G.弗雷格首先建立了一阶逻辑的形式系统(1897)。人们也称之为谓词演算。
其后,A.N.怀特海和B.A.W.罗素使其进一步精确化(1910)。
匿名回答于2021-04-25 04:59:42