Title: Solving the problem of mathematics
First published: 1991