法国法学家雅克·盖斯旦在其《法国民法总论》中指出：“在数理逻辑中，公理化的基础是对一定数目的定义和公理的自由选择，这些定义和公理是作为假设提出的，与现实无联系，由此逻辑地演绎出整个系统。对法学家们来说，困难在于他们无法自由选择要使用的概念。他们受到实体法规则的约束。” 下列对上述议论中“逻辑”一词含义的理解，正确的是（）。