• 2021-04-14
    9.“自然演绎系统从假设出发,因此不能得出纯逻辑的定理,只能得到依赖于假设的推论。”这一说法是否正确?