Eine Grundmenge ist ein bestimmter Objektbereich, über den in einem bestimmten Zusammenhang Aussagen gemacht werden (engl. universe of discourse). Die Elemente der Grundmenge müssen bestimmte gemeinsame Eigenschaften haben.
„Es ist manchmal sinnvoll, den zur Diskussion stehenden Gegenstandsbereich auf eine bestimmte Menge von [Objekten] einzuschränken.
Es macht beispielsweise keinen Sinn, von der Sterblichkeit natürlicher Zahlen zu sprechen. Wenn wir also einen Ausdruck wie 'x ist sterblich' verwenden, setzen wir stillschweigend voraus, daß 'x' zu einer Menge von Individuen gehört, denen die Eigenschaft 'sterblich' sinnvoll zugeschrieben werden kann.
Man bezeichnet den einer Theorie zugrunde liegenden Individuenbereich als Grundmenge.“ [Wag97, Grundkurs 2, Kap. 5]