An application of games to the completeness problem for formalized theories