MDLUL/endlich axiomatisierbar
Start=endlich axiomatisierbar
MDLUL/endlich axiomatisierbar |
---|
Ziel=Theorie/Erster Stufe/Ableitbar/Endlich axiomatisierbar/Definition
Start=endlich axiomatisierbar
MDLUL/endlich axiomatisierbar |
---|
Ziel=Theorie/Erster Stufe/Ableitbar/Endlich axiomatisierbar/Definition