axiomatic model公理化: axiomatization; axiomatize模型: model; pattern公理化程序模型: axiomatic program model公理化場論: axiomatic field theory公理化發(fā)展: axiomatic development下載手機詞典可隨時隨地查詞查翻譯