you cannot prove the consistency of a system of proof within that system, ie at all.
Presburger Arithmetic cannot prove its own consistency inside of itself, but that doesn't mean we can't prove its consistency 'at all'.
You can prove the consistency of PBA, But you cannot prove that you cannot prove the inconsistency of PBA, because The inability to do both is the definition of consistency in the larger system.