document.getElementById("med-ftitle").innerHTML=`对于完全终止的项重写系统，Omega-终止性是不可判定的。
`;