That's now how it works. You generally can't know if a statement is provable/unprovable under A. In most cases, there's nothing to identify a new corpus.
I'm not saying we can know for a particular statement. Just that, per the incompleteness theorems, we know A is incomplete. Hence there is always room for our knowledge of mathematics to grow.