关于悖论的统一模式——纪念罗素悖论发现100周年

摘要

用数学的语言给出了一个抽象的悖论. 令F是从集合A到集合B的双射,记M＝{a∈Au001b|u001baF(u001bau001b)},如果在某个理论中M∈B是合法的(或看起来是合理的),则问题m∈Mu001b-u001b将是该理论中的一个悖论. 该抽象悖论也可看成悖论的统一模式,只要适当选择双射F和集合A、B就可以将所有己知悖论包含在该模式中. 由于找到所有悖论的统一模式,也找到了产生悖论的唯一的本质的原因,为圆满解决悖论问题创造条件.