悖论类型