2.6 Herbrand定理
2.6.1 Herbrand 定理概述