在Tarski’s World中，要保存一份世界文件，最安全的命令是Save World 。在Fitch中，要保存一份已完成的证明，用Save As命令。在Boole中，创建参考列，最好让Boole帮你完成。一个对象不能有多个名字。形式证明 点我阅读全文