你的描述聽起來就像羅素的數理邏輯,那個會推出不確定:)

請您先登陸,再發跟帖!