问答题
简答题
自然数一共有下述三条公理：a.每个数都有唯一的一个数是它的后继数b.没有一个数使数1是它的后继数c.每个不等于1的数都有唯一的一个数是它的直接先驱数。用两个谓词表达上述三条公理注：设n是不等于1的自然数，则n+1是n的后继数，n-1是n的先驱数
【参考答案】
点击查看答案
相关考题
