问答题 用{a}代替N的定义中的，但仍用这一定义，可否生成自然数集合？有何不同？

问答题 有人说，集合A上的关系ρ，如果是对称的且可传递的，则它也是自反的，其理由是，从aiρaj，由对称性得ajρai，再由可传递性便得aiρai。

问答题 试用假设推理证明下面的定理： xyP（x，y）→yxP（x，y）.