On a Problem of Formal Logic