MDLUL/repräsentierbar (schwach)

Start=repräsentierbar (schwach)

MDLUL/repräsentierbar (schwach)

Ziel=Arithmetik/Satzmenge/Relation/Repräsentierung (schwach)/Definition