在Peano axioms系统下是undefined。
来源:
Porcelana
于
2019-11-02 16:13:48
[
博客
] [
旧帖
] [
给我悄悄话
] 本文已被阅读:次