Philosophy of Mathematics The main program foundations of mathematics of the twentieth century / Filosofiya matematiki Osnovnye programmy obosnovaniya matematiki KhKh stoletiya