MDLUL/schwach repräsentierbar
Start=schwach repräsentierbar
MDLUL/schwach repräsentierbar |
---|
Ziel=Arithmetik/Satzmenge/Relation/Repräsentierung (schwach)/Definition
Start=schwach repräsentierbar
MDLUL/schwach repräsentierbar |
---|
Ziel=Arithmetik/Satzmenge/Relation/Repräsentierung (schwach)/Definition