泽梅洛。三择一定理是德国数学家泽梅洛提出的，三择一定理是博弈论历史上第一个重要的定理，针对规则明确的棋类游戏，了人类对棋类游戏的认知。