A A theory is falsifiable, as we saw in section if there exists at least one non empty class of homotypic basic statements which are forbidden by it; that is, if the class of its potential falsifiers is not empty.