本質とは、矛盾なく計算できるということでよろしいか。