Title: Solving the problem of mathematics