Prompt

Create an image of a simple, yet formal mathematical illustration representing Tarski's undefinability theorem. The image should feature a formal language or a Peano arithmetic structure in the background, with a bold, red or highlighted sentence stating "Truth in arithmetic cannot be defined within arithmetic itself" or a similar phrase that encapsulates the theorem's main idea. Incorporate subtle, abstract representations of Gödel's incompleteness theorems in the background, such as fragmented or incomplete equations. The overall style should be reminiscent of mathematical texts from the early 20th century, with a focus on clarity and simplicity. The color scheme should be muted, with a predominance of black, white, and gray, accented by red or another bold color to highlight the central idea. The image should convey a sense of intellectual rigor and mathematical precision.

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