公理化和形式化,公理化和形式化,gonglihua he xingshihua,公理化,形式化,xingshihua,gonglihua,[拼音]:gonglihua he xingshihua[外文]:axiomatization and formalization研究演绎科学理论和构造演绎系统的两种方法。它们被广泛应用于现代逻辑和数学...