Prompt

Create an image of a formal, black and white mathematical diagram illustrating the concept of the Rice–Myhill–Shapiro theorem, with abstract representations of recursively enumerable sets and a hint of a logical proof in the background, incorporating symbols and notations from computability theory and logic, in a style reminiscent of academic mathematical publications, such as the Proceedings of the American Mathematical Society.

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