しゅうごう-ろん シフガフ― [3] 【集合論】 集合{（２）}を研究する数学の一分科。1874年以降ドイツの数学者カントルによって展開され，極限および無限の概念が明瞭となった。