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

问答题 给出所有不同构的4个结点的简单图的图示．

问答题 证明下图中（a）与（b）同构。