However, invalid formulas (those that are not entailed by a given theory), cannot always be recognized.
Tačiau, neteisingos formulės (kurios yra nesusijusios su tam tikra teorija) ne visada gali būti suvoktos.