TY - GEN AU - Bourbaki, N. TI - Elements of mathematics theory of sets SN - 9783540225256 U1 - 512 PY - 2004/// CY - New York PB - Springer N1 - 1. Description of formal mathematics 2. Theorems 3. Logical theories 4. Quantified theories 5.Equalitarian theories 1. Collectivizing relation 2. Ordered pairs 3. Union and intersection of a family of sets ER -