document.getElementById("med-ftitle").innerHTML=`全有限模型类理论的LINDENBAUM代数
`;