公理的集合論

なんかZFCと呼ばれているみたい