MDLUL/erststufige Peano-Axiome