Maths is the construction and study of formal theories, ie games.
A game or formal theory is a world where all possibilities can be exhaustively described.