MDLUL/Erlaubt Repräsentierungen

Start=Erlaubt Repräsentierungen

MDLUL/Erlaubt Repräsentierungen

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