If we think of the limit of FAS as using an infinite (but countable) number of axioms and ask what can be learned by such super FAS, then we can speculate that we can know almost nothing in the field that the super-FAS is trying to study. The speculation is based on the fact that rationals have a measure zero in the reals. Of course, that is not to say that super-FAS is useless. On the contrary, by the same analogy, we should be able to get arbitrarily close to any theorem we need though never be able to prove it. By Cantor's number theory, we may also extend FAS to include larger infinities only to find even larger ones to stump us. Such are the joys of mathematics!