"tautological games".

All proofs are a form of tautology, you have to end up back at the point your theorem proposed. Math is games of logic. That's what it is.