It is a perfectly good theory with many good properties: it is complete, decidable, finitely axiomatizable, and so on.
Nó là một lý thuyết hoàn hảo tốt với nhiều tính chất tốt: nó là hoàn chỉnh, decidable, finiely axiomatizable, và như vậy.