公理化集合論

Noun

 * 1)  axiomatic set theory