 It is easiest to characterise semantic realism for a mathematical domain. It is a feature of arithmetic that there are some arithmetical sentences for which the following holds true: we know of no method that will guarantee us a proof of the sentence, and we know of no method that will guarantee us a disproof or a counterexample either. One such is Goldbach’s Conjecture: