The consistency of peano arithmetic: a defeasible perspective