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