>>310
また死亡確定したなWWWWW
完璧に公理的集合論に型理論が内包される事しか言ってない