Welcome guest
You're not logged in.
191 users online, thereof 0 logged in

Proof: (related to "Justification of the Set-Builder Notation")

$Y$ is unique by the axiom of extensionality.

q.e.d

| | | | created: 2019-01-06 23:16:13 | modified: 2019-01-06 23:17:37 | by: bookofproofs | references: [656], [983]


This work was contributed under CC BY-SA 3.0 by:

This work is a derivative of:

(none)

Bibliography (further reading)

[983] Ebbinghaus, H.-D.: “Einf├╝hrung in die Mengenlehre”, BI Wisschenschaftsverlag, 1994, 3

[656] Hoffmann, Dirk W.: “Grenzen der Mathematik – Eine Reise durch die Kerngebiete der mathematischen Logik”, Spektrum Akademischer Verlag, 2011

FeedsAcknowledgmentsTerms of UsePrivacy PolicyImprint
© 2018 Powered by BooOfProofs, All rights reserved.