誤りを訂正してくれる数学