 Lightface analytic game

Lightface is a two-player analytic game used in the field of mathematical logic and set theory. The game has a structure that revolves around "moves" made by the players, typically denoted as Player I and Player II. Each player takes turns making decisions or selections based on a pre-defined set of rules.