逻辑学悖论16类型的理论

逻辑学悖论(16)：类型的理论 16.类型的理论　M：集合悖论可用一个类似的无限等级排解掉。一个集合不能是该集合本身的元素，或不能是低一级的任何集合的元素。上面举出的那个理发师，占星家、机器人