ある命題が定理であるか定義であるか公理であるかは相対的なものである。
絶対的なものではない。
こういう理解であってますでしょうか？