でも二階以上の概念なんて
集合論援用してるようなものじゃん