finite model的意思|示意
美 / ˈfainait ˈmɔdəl /
英 / ˈfaɪˌnaɪt ˈmɑdl /
有限模型