The formalists neglected the content altogether and made mathematics meaningless, the logicians neglected the form and made mathematics consist of any true generalizations; only by taking account of both sides and regarding it as composed of tautologous generalizations can we obtain an adequate theory.