七、逻辑真理的可修正性