By Gödel's completeness theorem, it is the only theory (for any given language) with no models.
Theo định lý đầy đủ của Gödel, đó là lý thuyết duy nhất (cho bất kỳ ngôn ngữ nào) không có mô hình.