悖论与悖论类型