axiomatic model公理化: axiomatization; axiomatize模型: model; pattern公理化程序模型: axiomatic program model公理化场论: axiomatic field theory公理化发展: axiomatic development下载手机词典可随时随地查词查翻译