Prompt

"Generate an image representing the Tarski-Seidenberg theorem, a fundamental concept in real algebraic geometry. The image should feature a stylized, abstract representation of a semialgebraic set, with geometric shapes and equations in the background, symbolizing the theorem's statement that the projection of a semialgebraic set is semialgebraic. Incorporate subtle hints at quantifier elimination and the first-order theory of real closed fields, such as faint algebraic expressions or logical symbols. The color scheme should be a mix of cool, mathematical blues and whites, evoking a sense of precision and logic. The overall style should be reminiscent of mathematical illustrations found in academic papers, such as those published in the Annals of Mathematics."

Image by stabilityai/stable-diffusion-3.5-large-turbo