最低ラインは田中の公理的集合論をソラで再現できること