Ich zweifle ja ehrlich gesagt daran, dass irgendjemand in Deutschland dieses Programm nutzt, weil die Zielgruppe recht klein ist.

Ich will das erste Chopin Klavierkonzert so mit Begleitung üben, aber erwarte für die 20€ auch eine gewisse Qualität.

Wie ist der Sound so? Für mich hat sich der kurze Probeschnipsel nicht besonders gut angehört und wenn das ohnehin kein echtes Orchester eingespielt hat, kann ich auch so etwas wie Musescore kostenlos nutzen um mir ein elektronisches Orchester nach meinen Wünschen anzupassen.

Details (smartsoloist.com)

Sei M = {1, {1, {1, {...}}}} (Sprich: M= {1, M})

Laut dem Fundierungsaxiom ist diese Menge nicht nach ZF als Menge definiert, da das Fundierungsaxiom besagt "Jede Menge M ≠ ∅ enthält ein e, so dass e ∩ M = ∅".

In meinem Beispiel ist nun aber 1 ∈ M und 1 ∩ {1, ...} ist nach meinem Verständnis die leere Menge. Demnach müsste die Menge M nach ZF definiert sein, obwohl sie sich selbst enthält.

Wo ist mein Fehler?