十 逻辑的可修正性问题