將一層量詞自由地添加到布林主義中

本文展示了如何在一個小基範疇上的布林主義中自由地添加第一層量詞交替深度，相當於在全稱理論模組下，對量詞交替深度最多為 1 的公式的 Herbrand 定理的主義版本。