数学の世界的には、定義以外の何者も信じちゃいけないという事なので