MDLUL/erlaubt Repräsentierungen

Start=erlaubt Repräsentierungen

MDLUL/erlaubt Repräsentierungen

Ziel=Arithmetik/Satzmenge/Erlaubt_Repräsentierungen_(stark)_von_R/Definition