你的描述听起来就像罗素的数理逻辑,那个会推出不确定:)

请您先登陆,再发跟帖!