公
理
化
方
法
gōng lǐ huà fāng fǎ
英文翻译
axiomatic method