My intention here is to make a network of proofs which each axiomatically reduce via hyperlinks. I want to create this for my own reference because I hate using proofs in constructions or computation that I have not seen reduced to intuitively understandable axioms. Note that I do not demand a full formal axiomatic reduction (as in axiomized set theory) but rather at this point am satisfied with naive reductions that are based on more intuitive axioms of common sense.