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