>>487
数理論理学か圏論のスレで聞いてみたら