Proof

(related to Corollary: Justification of Set Union)

axiomsunionsproof1

axiomsunionsproof2

axiomsunionsproof3

axiomsunionsproof4

axiomsunionsproof5

axiomsunionsproof6a


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Ebbinghaus, H.-D.: "Einführung in die Mengenlehre", BI Wisschenschaftsverlag, 1994, 3th Edition

Footnotes


  1. We mean the logical or operation, in the natural English language "and/or".