>>554
日本の大学じゃなければそのまま集合論でいけたのにね...