罗素悖论

罗素悖论
参考图书管理员设置图书目录的例子，在一般情况下是不出现问题的，但如果要求绝对严密（这就是Hilbert的思想）问题出现了，也就是说元目录是否应该包括元目录的问题？这个精确地说是一种理论上追求完美而表现出的一种无法克服的瑕疵，首先理论上强调必须明确，不是这个就必须是那个，这也完全是为了保证理论，也就是类型形式上的无缺陷，而罗素悖论的出现跳出了所正在设计的理论，造成了层次的混乱，在工程应用中，不追求严密，再加上运行时识别，这根本不是个问题（比如lisa中的数据结构特点）.