Set theory

This site under construction will be dedicated to presenting a new vision of set theory and the foundations of mathematics, to provide a deeper understanding of the subject beyond the usual raw acceptance of the Zermelo-Fraenkel axioms system (or other traditional axioms systems), and to conveniently present insights to the foundations of algebra, based on concepts of universal algebra that will be presented in a simpler approach than the usual universal algebra textbooks.

This new approach started to be written in French and is still incomplete there (about 70 pages ready, 30 more pages in draft, and 50 to 100 more pages in plans). The translation into English is not done yet.
The ambition of this approach is to combine the following advantages by a new structure of progression:

If anyone would like to help translating contents from French, it would be very helpful to speed up the development of this project. (Author contact : trustforum at gmail.com).

Here will be the contents of the first 60 pages (already written in French):

1. Philosophical set theory : 20 pdf pages.

1.1. What is mathematical logic
1.2. About set theory
1.3. Set theory concepts: variables, sets, maps and operations
1.4. Objects, meta-objects, one-model theory
1.5. Operators and predicates
1.6. Formulas without linked variable
1.7. Defined structrures, classes, partial structures
1.8. Linked variables in set theory
1.9. Quantifiers
1.10. Founding axioms of set theory

1a. Philosophical Comments

2. First developments (16 pdf pages)
2.1. More quantifiers
2.2. Tuples, families;
2.3. Operators on sets
2.4. The powerset axiom
2.5. Injections, surjections, canonical bijections
2.6. Other properties of maps
2.7. Binary relations on a set
2.8. Study of equivalence relations
2.9. Axiom of choice

3. Galois connections (18 pdf pages)
3.1. Notions on ordered sets, Galois connections
3.2. Monotone Galois connections
3.3. Upper and lower bounds
3.4. Complete lattices
3.5. Fixed point theorem
3.6. Preorder generated by a relation
3.7. Finite sets
3.8. Generated equivalence relations, and others
3.9. Well-founded relations
Of course, this list of first sections titles are not enough to express what are the interest and innovation here. You'd need to see the full text to figure out, which for now requires you to know French...