10.3969/j.issn.0254-0037.2002.01.021
关于悖论的统一模式——纪念罗素悖论发现100周年
用数学的语言给出了一个抽象的悖论. 令F是从集合A到集合B的双射,记M={a∈A|aF(a)},如果在某个理论中M∈B是合法的(或看起来是合理的),则问题m∈M-将是该理论中的一个悖论. 该抽象悖论也可看成悖论的统一模式,只要适当选择双射F和集合A、B就可以将所有己知悖论包含在该模式中. 由于找到所有悖论的统一模式,也找到了产生悖论的唯一的本质的原因,为圆满解决悖论问题创造条件.
悖论、罗素、反对角线集合、统一模式定理、准反对角线集合、加强的统一模式定理、抽象悖论
28
O144.2
2004-03-12(万方平台首次上网日期,不代表论文的发表时间)
共4页
87-90