Zermelo Fraenkel Separation and replacement скачать в хорошем качестве

Zermelo Fraenkel Separation and replacement

This is part of a series of lectures on the Zermelo-Fraenkel axioms for set theory. We discuss the axioms of separation and replacement and some of their variations. Elliot Glazer pointed out a mistake in the video: the model abtained by taking all nonempty sets of some model of ZFC does have an "emptyset" because the set containing just the empty set plays the role of the empty set in this model! Two different sets may become equal in this model. The axiom of separation is redundant. For the other lectures in the course see    • Zermelo Fraenkel axioms