问答题
设有集合A和A上的关系ρ，对所有的ai，aj，ak∈A，若由aiρaj和ajρak可推得akρai，则称关系ρ是循环的，试证明当且仅当ρ是等价关系时，ρ是自反且循环的。
问答题 证明成形括号串的左右括号个数相等。
问答题 试用假设推理证明下面的定理： x（C（x）→W（x）∧R（x））∧x（C（x）∧Q（x））→x（Q（x）∧R（x））.
问答题 用{a}代替N的定义中的，但仍用这一定义，可否生成自然数集合？有何不同？
