集合論
ケーニヒの定理 (集合論)