问答题
用{a}代替N的定义中的∅，但仍用这一定义，可否生成自然数集合？有何不同？
问答题 有人说，集合A上的关系ρ，如果是对称的且可传递的，则它也是自反的，其理由是，从aiρaj，由对称性得ajρai，再由可传递性便得aiρai。
问答题 试用假设推理证明下面的定理： xyP（x，y）→yxP（x，y）.
问答题 试用假设推理证明下面的定理： x（P（x）→Q（x））→（xP（x）→xQ（x））.
