2
$\begingroup$

On The Wikipedia page for Axiom of limitation of size it states that this axiom can be used to prove the axiom of union: https://en.wikipedia.org/wiki/Axiom_of_limitation_of_size

It implies the axiom schema of specification, axiom schema of replacement, axiom of global choice, and even, as noticed later by Azriel Levy, axiom of union[2] at one stroke.

I understand the first three axioms mentioned, but I haven't been able to find anything regarding the axiom of union. Does anyone know how this axiom implies the other? Thanks in advance.

$\endgroup$
-1
$\begingroup$

Never mind, I did a little more searching and I finally found the information I was looking for. Sorry for the hassle. Here's where I found it: https://www.jstor.org/stable/2315201?seq=1#page_scan_tab_contents

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.