#constructible set #model theory #definable set #logical formula #Tarski-Seidenberg