做梦梦见自己搞了一个大工程：用LLM分析哲学论文和著作，定义了一套公理体系以后，输出用lean进行形式化验证的哲学论文 是不是我要走火入魔了