Some examples of universal statements that are unproven but likely true include the Riemann hypothesis (all non-trivial zeros of the zeta function have real part 1/2) and the Goldbach conjecture (all even numbers greater than two can be written as the sum of two primes). In our standard models C and N we can recursively enumerate possible inputs and verify the statement is true for that concrete number. We have done this for enough examples that the statement feels like it is true in much the same way we feel like gravity always causes objects to fall.
It seems to me that the "for all" aspect of these statements is what allows such statements to be considered 'likely to be true and independent' since we continuously observe that the statement holds for all the examples we've thrown at them so far. These types of statements seem to have the property that if they are true, then they are independent of some theory, but if they are false, they are theorems of that theory.
I am wondering if there are currently unsolved mathematical questions that more closely resemble the search for extraterrestrial life: 'they exist, we just have to keep searching to find them!' I think the type of statement I am looking for would be the negation of a universal sentence that, if true (in some standard model), is independent of some theory, but if false, is a theorem.
A historical example might be a statement about the existence of large cardinals, before it was proven to be independent of ZFC. However, I think staying within a standard model like R would be much more interesting -- some kind of real that would prove some statement, but we can't prove it exists because it is actually undefinable? Or would the fact that the statement exists be a sufficient definition, contradicting this whole line of thought?
