《基本演绎法》正式续订第6aaa。