Imagem de fundo

Uma negação da fórmula da lógica de primeira ordem...