什么是罗素的类型论？
金融
2年前
阅读：5
评论：0
德国哲学家戈特洛布•弗雷格（Gottlob Frege，1848—1925 )测验考试把数学归 纳为逻辑学。罗素从中获得了灵感，他起头努力于一个新难题的研究：所有不 是本身元素的类型，我们称其为C，它是本身的一个元素吗？那个问题看起来是 准确的，但是罗素指出那是自相矛盾的：若是C是本身的一个元素，那么它就不 属于D，D是包罗所有不是本身的元素类型。但是若是C不是本身的一个元素，
版权声明
本文仅代表作者观点，不代表木答案立场。