Einige Verständnisfragen, welche vermutlich sehr einfach zu beantworten sind, von jemanden der sich auskennt :)
Die Variable M darf nicht vorkommen, meint nur das P(M) nicht existiert, aber M ist doch eine Menge?
M ist entsprechend eine Teilmenge von A oder?
Kann man überhaupt eine Menge als Variable in eine Aussageform/Prädikat einsetzten?
Ist die Menge M =: {x∈A| P(x)}?
Warum ist die Menge M aufgrund des Extensionalitätsaxioms {x∈A| P(x)}, einfach nur weil die Elemente übereinstimmen?
https://de.wikipedia.org/wiki/Aussonderungsaxiom