Freiheitssatz

The "Freiheitssatz," or "freedom theorem," is a concept in mathematical logic and model theory, particularly in the context of formal languages.