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

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

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

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

问答题

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

证明一个自补图一定有4k或4k+1个结点（k为正整数）．

问答题证明一个自补图一定有4k或4k+1个结点（k为正整数）．