集合論
公理的集合論（こうりてきしゅうごうろん、"axiomatic set theory"）とは、公理化された集合論のことである。