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