Foundation of mathematics