素朴集合論の厳密化から始め…