返回到“元定理”页面。