The work on Foundation of Mathematics