>>981に補足すると>>974の言う証明自体には確かに外界は無関係だけど、その前提となる概念や世界観には大なり小なり
外界の作用があるということかな。ゆえに概念と証明により正当性は担保される。