ていうかこれ、前にもあったなw
抽象化したらそれより細かい構造や値が捉えられなくなるなんて最近の数学ではしばしばある事
それでも全体的には何か捉えたいから敢えてそうすることもある。IUTもまさにそういう話じゃん
この場合正しいかどうかはともかく