しゅうごうろん【集合論】 集合_(２)を研究する数学の一分科。ドイツの数学者カントールによって展開され，極限および無限の概念が明瞭となった。