“Again, we cannot search the whole world in order to make sure that nothing exists which the law forbids. Nevertheless, both kinds of strict statements, strictly existential and strictly universal, are in principle empirically decidable, each, however, in one way only: they are unilaterally decidable. Whenever it is found that something exists here or there, a strictly existential statement may thereby be verified, or a universal one falsified.”
