>>16769936
>a way to derive all known and unknown mathematical structure via a single axiom applied to a single symbol.
I don't know very much about mathematical proofs and logic but I think this is impossible by definition. A mathematical proof is a deductive argument. An argument needs at least two propositions as premises, and has one proposition as conclusion. As far as I understand this translates directly to mathematical proofs; axioms are premises; theorems are the conclusions of the arguments/proofs, the things being proven/concluded/deduced. You can't deduce anything from a single proposition. You can illustrate this. Argumentation or proof-giving is a tree structure, where you build complex structures, theorems; from simpler structures, previously proven theorems and axioms; this is synthesis, putting together smaller parts into something larger and more complex; the opposite of synthesis is analysis, taking something large and complex and breaking it up into its smaller constituent parts; the former is argumentation and proof-giving, the latter is the Socratic method: asking "why?" to prompt the premises for a proposition, then taking one of those premises, which also is a proposition, and again asking "why?" to prompt the premises for that proposition, and so on and so forth until you have gone so far back that you're at an axiom, a first principle, from which nothing further can be analyzed.
An image of a tree structure for illustration will be in the post replying to this post.
This is exactly why people ought to read Elements.
https://en.wikipedia.org/wiki/Mathematical_proof
picrel is from this book:
https://archive.org/details/logicorrightuseo00watt
But you can read a more modern textbook in logic too, there are many available for free online, this is just one example.
https://moodle.scnu.edu.cn/pluginfile.php/820759/mod_resource/content/1/Harry%20J.%20Gensler_2017_Introduction%20to%20Logic%20%283rd%20ed.%29-Routledge-reader.pdf