At a theoretical level this requires us to specify the properties of the data type by mathematical axioms involving the possible operations.是什么意思_At a theoretical level this requires us to specify the properties of the data type by mathematical axioms involving the possible operations.在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句