Trakhtenbrot's theorem implies that Gödel's completeness theorem (that is fundamental to first-order logic) does not hold in the finite case.
The statement highlights the limitations of Gödel's completeness theorem in a finite setting, as implied by Trakhtenbrot's theorem.