Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL