It means that the axiom refers to the underlying logic of the formal system, often taken for granted as first order predicate logic with equality rather than ...
確定! 回上一頁