MDLUL/erlaubt Repräsentierungen
Start=erlaubt Repräsentierungen
MDLUL/erlaubt Repräsentierungen |
---|
Ziel=Arithmetik/Satzmenge/Erlaubt_Repräsentierungen_(stark)_von_R/Definition
Start=erlaubt Repräsentierungen
MDLUL/erlaubt Repräsentierungen |
---|
Ziel=Arithmetik/Satzmenge/Erlaubt_Repräsentierungen_(stark)_von_R/Definition