形式主义与应力