User:Leigh.Samphier/Templates/Test/CategoryEquivalentAxioms

From ProofWiki
Jump to navigation Jump to search

TFAE - Equivalent Axioms

{{:User:Leigh.Samphier/Templates/TFAE|axiom = Ring of Sets Axioms | view = ring of sets axioms}} produces

The following definitions for the ring of sets axioms are equivalent: