论“空集是一切集的子集”

一、问题的提出众所周知,在集合论中有一条重要的命题:“空集是一切集的于集。”以下为了叙述的方便,我们不妨简称之为“空集命题”。在涉及这条命题的众多著作中,有的是把它作为规定,如参考书目的[1],[2],[3];有的则是把它作为定理加以证明,如[4],[5],[6];还有的则用词费解,难以判明,如说“我们认为。