„A mathematical theory (or simply a theory) contains rules which allow us to assert that certain assemblies of signs are terms or relations of the theory, and other rules which allow us to assert that certain assemblies are theorems of the theory.“ (p. 16) #Bourbaki #theory #relation #theorem
Bourbaki, Nicolas, Elements of Mathematics: Theory of Sets. Berlin, Heidelberg, New York: Springer 2004.