11
$\begingroup$

Is there some proven statement that tells us "not all X satisfy Y", but there are currently no examples of X which do not satisfy Y?

Is it necessarily true that there are always explicit counterexamples? Or are there statements that only guarantee the existence of such counterexamples, whose construction is impossible in ZFC.

4 Answers 4