難波の集合論って、公理的集合論だっけ?