訂正不可能性の方が哲学しがいがありそうじゃない?