The difficulty of such "proove" is first why would the axiom development in math be presumed to be able to provide such (if at all).
That seems to be claim if at every against HOvind I glean from NO detailed info or knoweldge of the links.
2)Assuming the game/challenge wAS FAIR? THIS APPROVED would be approached (unconditionally etc) from showing how chance rooted some biogeography ON THE PRESENT MAP and then paleogeographcally projected but this project is MORE difficult than the Science that lead Kant to his whole philosophy (turning of Earth). Not even Marxism is up to this post-globalization job. Once a distribution IN EXISING SPACE was inventoried then the tiring job of trying out the trajectories makes a three body problem look like kids play but who knows maybe some one can by wit make a rule in a cellular automata that "evolves" time such that the appearence of THE PAST appears and we are back once again at the statement that neither evolution or creation can be science/observed because they happened in the past and no emulation is ever a fidelty simulation even.