Prompt

"Create an image representing Gödel numbering, a mathematical concept in logic and computability theory, introduced by Kurt Gödel in 1931. The image should feature a stylized illustration of a formal system or a logical equation encoded as a series of natural numbers, with prime factorization and recursive functions subtly integrated into the design. The style should be a blend of abstract mathematical representation and digital encoding, conveying the idea of arithmetization of syntax. Incorporate elements that evoke a sense of proof theory, metamathematics, and automated theorem proving, while maintaining a clean and minimalist aesthetic."

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