高木は記号論理学を学ばぬ限り報われぬ