document.getElementById("med-ftitle").innerHTML=`可消去阿贝尔幺半群与反证法定理证明中的相关结构（第一部分）
`;