MDLUL/Peano-Axiome