问答题 试用假设推理证明下面的定理： x（C（x）→W（x）∧R（x））∧x（C（x）∧Q（x））→x（Q（x）∧R（x））.

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

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