想一想，那麽多定理，每一個又有許多證明方法，每一個都由人編一個思考過程，那要花多少人工？

來源: 方外居士於 2025-02-01 17:58:44 [舊帖] [給我悄悄話] 本文已被閱讀：次

WENXUECITY.COM does not represent or guarantee the truthfulness, accuracy, or reliability of any of communications posted by other users.