差不多吧。严格证明有一定要求，至少能描述正整数运算。

来源: JSL2023 于 2024-10-25 17:20:22 [旧帖] [给我悄悄话] 本文已被阅读：次

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