公理的集合論
ウィキペディア フリーな
encyclopedia
公理的集合論
(こうりてきしゅうごうろん、
axiomatic set theory
)とは、
公理化
された
集合論
のことである。