问答题
自然数一共有下述三条公理：a.每个数都有唯一的一个数是它的后继数b.没有一个数使数1是它的后继数c.每个不等于1的数都有唯一的一个数是它的直接先驱数。用两个谓词表达上述三条公理注：设n是不等于1的自然数，则n+1是n的后继数，n-1是n的先驱数
问答题 给出所有不同构的4个结点的简单图的图示．
问答题 证明下图中（a）与（b）同构。
问答题 证明一个自补图一定有4k或4k+1个结点（k为正整数）．
