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