Remark
Tag 03GW, permanent. Cite it as [Bourbaki, Tag 03GW].
Theory of Sets, chapter I, Appendix 0. Characterization of terms and relations
Except in certain mathematical theories which are particularly weak in axioms (cf. Exercise 7) we have no general procedure of this type to enable us to test whether or not a given relation in a theory is a theorem in .
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.