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