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