短语词组短語first -order fuzzy language 一堦模糊語言many -sorted first-order fuzzy language 多類一堦模糊語言 返回 first order language