I wonder what other mathematical axiom sets can be pretty much directly translated in a game like that. Maybe something from calculus, topology or knot theory.