We have all heard that if Goldbach's conjecture is independent, then it is true. This is because if GC is false then there is an even number which is not the sum of two primes, and hence a finite proof. What if this number is very large? Maybe beyond our reach?

If one proves that it is independent that eventually every even number is the sum of two primes, can we conclude that eventually every even number is the sum of two primes? Even if we may never know the $e$ from which it is Goldbach's conjecture, all the way, into infinity?

If we know that there is an $e$ from which every even number after and including $e$ is the sum of two primes, is independent, can we conclude that $e$ and every even number beyond, is the sum of two primes?

Even if we may never know what $e$ is?

Let $e$ be the least even integer such that $e$ is the sum of two primes and for every $k=2n$ where $n \in \mathbb{N}$ where $k$ is greater than $e$, then $k$ is also the sum of two primes. Suppose it is independent of ZFC that $e$ exists. Does it follow that $e$ exists?

1more comments