This emphasis on falsification (as opposed to verification) underlines, according to Popper, a crucial asymmetry: one can never prove that a theory is true, because it makes, in general, an infinite number of empirical predictions, of which only a finite subset can ever be tested; but one can nevertheless prove that a theory is false, because, to do that, a single (reliable) observation contradicting the theory suffices.
