>>443
って事は実はグラフ理論と集合論・証明論の関係の研究は未開拓分野って事かな