A variant of the classic game Minesweeper on an irregular grid, where each tile can have between 6 and 10 neighbors, leading to more challenging and mind-bending levels.
The axiom of choice was formulated in 1904 by Ernst Zermelo in order to formalize his proof of the well-ordering theorem.