Exercise 6, § 5
Tag 03GR, permanent. Cite it as [Bourbaki, Tag 03GR].
Theory of Sets, I, 59
Show that if the scheme provides implicit axioms in , then is a theorem in (cf. Exercise 1).
Solution
No solution has been written yet.
Cited by
Nothing.
Tag 03GR, permanent. Cite it as [Bourbaki, Tag 03GR].
Theory of Sets, I, 59
Show that if the scheme provides implicit axioms in , then is a theorem in (cf. Exercise 1).
No solution has been written yet.
Nothing.