MDLUL/aufzählbar axiomatisierbare Theorie
Start=aufzählbar axiomatisierbare Theorie
MDLUL/aufzählbar axiomatisierbare Theorie |
---|
Ziel=Theorie/Erster_Stufe/Ableitbar/Aufzählbar_axiomatisierbar/Definition
Start=aufzählbar axiomatisierbare Theorie
MDLUL/aufzählbar axiomatisierbare Theorie |
---|
Ziel=Theorie/Erster_Stufe/Ableitbar/Aufzählbar_axiomatisierbar/Definition