专用于悖论5