I am interested in papers that discuss the notion of grounding and applies it to mathematical statements. For example, the facts that 1+1=2 and 2+2=4 collectively ground their conjunction 1+1=2 AND 2+2=4. Also, for instance, the facts that 0+0=0, 0+1=1, 0+2=2, etc collectively ground the universal statement "For all x, 0+x=x". Basically, I am interested in texts that define a notion of grounding for mathematical truths. It can't simply be that a true mathematical statement A grounds statement B if and only if A materially implies B, for all true statements of mathematics imply each other. Also, I am not necessarily requiring that the grounding relation is irreflexive. In my mind, it is perfectly legitimate for some statements to be their own grounds. For example, in my view at least, the axioms of a mathematical theory ground themselves. Anyway, are there such books or papers or texts that talk about grounding but restricted to mathematical truths, perhaps even defining the grounding relation?
I'm not aware of such precise thing, but this might provide a starting guide.
To start, let's say that the final ground of all reason is logic. Logic is not a set of disparate statements, but an interrelated structure of truth (surely tautological), grounding being the very structure, also tautological (there's no rule that confirms that the truth of logic is a final truth). Interrelated implies the necessary existence of systemic relationships between concepts, that's why
1=1 ^ 2=2, the conjunction being an explicit indication that both concepts
2=2 are in the same structure of truth.
But perhaps the answer that fits best is the approach of the discipline of formal systems. Formal systems, formally (using a precise language and concepts) determine a scope of such structure, which is to be considered the ground of a specific discipline of knowledge. So, such domain determine the concepts and axioms that must be followed to any further analysis. Upon such structure, new elements can be produced, by means of theorems and conclusions.
There's a key point to consider: in order to grasp the axioms and concepts of a formal system (learn them, know them, analyze them, expand them), at least human experience is mandatory (yes! this means using shoes, walking to the school, scratching the nose, laughing...). In most cases, much more than that: knowing some specific branch of mathematics, chemistry, etc. It would be literally impossible to provide the necessary knowledge of what is a dot to a martian without having lived on earth... for years.
Consider this: any computer can get the dictionary relations in seconds, because it is just a tautological set of self-references, it is a circular set of definitions. But in order to understand a simple word, knowledge of all feelings, knowledge of things, the environment, mental states, culture, other human beings, etc. are mandatory.
So, below the ground of any formal system, there is an implicit load of human experience that is required. Notice that here the problem becomes metaphysical, an approach that few want to consider.
Noticing that all mathematics, logic and science are completely linked to human subjectivities is bad news for most (that's probably the most relevant problem in current philosophy, and perhaps it starts to be so in science, since QM), so, that's why the topic is almost never developed. I personally say that metaphysics is the elephant in the room of science. The problem is there, in front of our eyes, it is huge, nobody is searching for solutions; so, better not to mention it.