The Compactness Theorem in mathematical logic states that a set of first-order sentences has a model if and only if every finite subset of it has a model, highlighting the interplay between local consistency and global consistency. This theorem is fundamental in model theory, providing a powerful tool for proving the existence of models and for transferring properties from finite to infinite structures.