四、兼容可错性：一种实在论的方案