AI-generated Images of axiomatized