Template:Peano axioms/Metadata