Personal project to rebuild mathematics in a short and rigorous way from a new formalization of set theory, and explain its philosophical aspects. Also includes some physics.