MDLUL/Peano-Arithmetik (Operation)