Zum Inhalt springen

MDLUL/aufzählbar axiomatisierbare Theorie