>>755
君は集合論が圏論を制限する悪だと妄想する●違いさんかな?