I mean, Gödel told us that we can't have a system that proves its own consistency while being consistent, so we shouldn't expect to get closer than "we have proofs in other systems and also the axioms seem so dang simple and obvious and also people have been banging on them and haven't found any inconsistencies..."
But moreover, if Gödel's proof had gone the other way I'm not sure the situation is all that much changed. If I hold in my hand a proof of the consistency of a system of axioms within that system of axioms then... either the system is consistent or, by being inconsistent, could prove anything including its own consistency.
But moreover, if Gödel's proof had gone the other way I'm not sure the situation is all that much changed. If I hold in my hand a proof of the consistency of a system of axioms within that system of axioms then... either the system is consistent or, by being inconsistent, could prove anything including its own consistency.