>>489
全て有限集合の集合論を作るのがよい