Similar to カントールの対角線論法

Alpha–beta pruning

Alphabet (formal languages)

Georg Cantor

Cantor medal