zfc-stated
7a377a0e · stated zfc-axioms ·