MDLUL/widerspruchsfreie (Theorie)

Start=widerspruchsfreie (Theorie)

MDLUL/widerspruchsfreie (Theorie)

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