元素,类型,类型论,灵感,数学归纳，什么是罗素的类型论？德国哲学家戈特洛布 ·弗雷格尝试把数学归纳为逻辑学。罗素从中获得了灵感，他开始致力于一个新难题的研究：所有不是自身元素的类型，我们称其为 ，它是自身的一个元素吗？这个问题看起来是正确的，但是罗素指出这是自相矛盾的：如果 是自身的一个元素，那么它就不属于 ， 是包含所有不是自身的元素类型。但是如果 不是自身的一个元素，那么它就应该属于 ，则 是自身的一个元素。罗素的回答是，对事物的种类进 ...