法国法学家雅克·盖斯旦在其《法国民法总论》中指出：“在数理逻辑中，公理化的基础是对一定数目的定义和公理的自由选择，这些定义和公理是作为假设提出的，与现实无联系，由此逻辑地演绎出整个系统