>>892
集合論はどのくらいできますか?