document.getElementById("med-ftitle").innerHTML=`关于一阶逻辑扩展的LöWENHEIM-SKOLEM-TARSKI数
`;