Reduce the universality problem on CFGs over $\{a,b\}$ to the problem of whether a CFG generates the words over $\{a,b\}$ where the number of occurrences of $a$ is different from the number of occurrences of $b$, in order to prove that such problem is not semi-decidable (not recursively enumerable).