Of the greatest usefulness would be the publication of collections of all the theorems now known that refer to given branches of the mathematical sciences ...
De la mayor utilidad sería la publicación de las colecciones de todos los teoremas conocidos ahora dado que se refieren a las ramas de las ciencias matemáticas ... Dicha colección, que sería largo y difícil en el lenguaje ordinario, se hace notablemente más fácil usando la notación de lógica matemática ...