On a Problem of Formal Logic — mathematics article published in 1930