Dodekaphonie und Formalisierung