MDLUL/widerspruchsfrei (Theorie)

Start=widerspruchsfrei (Theorie)

MDLUL/widerspruchsfrei (Theorie)

Ziel=Theorie/Erster_Stufe/Ableitbar/Widersprüchlich/Definition