十、逻辑的可修正性问题