Do the theorems specify the exact limit or "wall" that we seem to reach, if not then how do we know when we've hit the theorem's limit or just a temporary "wall" in a given fields progress?