下列说法中，与迈因纳定理的假设前提不相符的是（ ）。