类型论

元素,类型,类型论,灵感,数学归纳，什么是罗素的类型论？德国哲学家戈特洛布 ·弗雷格尝试把数学归纳为逻辑学。罗素从中获得了灵感，他开始致力于一个新难题的研究：所有不是自身元素的类型，我们称其...