MDLUL/Ableitungsprädikat (einstellig)

MDLUL/Ableitungsprädikat (einstellig)

Start=Ableitungsprädikat (einstellig)

Ziel=Arithmetische Ausdrucksmenge/Erlaubt Repräsentierungen/Beweiskodierung/Ableitungsprädikat/Definition