list of games that rely on mathematical theorems to work
musical chairs: the pigeonhole principle
best-of-three: three is odd
any point-based game with more than two players: transitivity of >
fizzbuzz: chinese remainder theorem
minecraft: commutativity and associativity of addition
rubik's cube: finiteness of rubik's cube group
guess who: decrrasing sequence of numbers will reach a minimum in finitely many steps
coin flip: law of excluded middle
tic tac toe: two points define a unique line














