document.getElementById("med-ftitle").innerHTML=`结合枚举与演绎技术，以扩大可构造无限模型的类别
`;