公理化和形式化

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