首先我们明确定义，把书上的自然语言写为精确一些的形式语言。∪x的定义是：∀x∀y(y=∪x↔∀...
定义我就不解释了。当指标集为空集时，假设存在x∈⋃A，根据定义，存在A∈A，使得x∈A。但因为指标...