The foundation of mathematics
It seems the axiomatic foundation of Mathematics is made of concepts and thus subject to concept sharing. Then the axioms must have other levels. Then there is no irreducible axiomatic system.
A better foundation of Mathematics is seen when we look at the truths that concept sharing allows. Since we must have concept sharing we need to look at the Mathematics that comes from this.
Then this can be a new basis of Mathematics