document.getElementById("med-ftitle").innerHTML=`Theorema 中用于策梅洛-弗兰克尔集合论的自动化证明器
`;