How to prove irrefutability of Peano axioms in coq?

I want to prove that Peano axioms are consistent with coq and defined them so

How to prove irrefutability of Peano axioms in coq?

I want to prove that Peano axioms are consistent with coq and defined them so