document.getElementById("med-ftitle").innerHTML=`一种用于一阶理论不可判定性证明的新方法
`;