Normalmente enuncia-se a completude de Post na sua versão Hilbertiana. Neste seminário apresentaremos uma visão da história dessa versão e dar-se-á a conhecer trabalho recente com vista à formalização rigorosa deste resultado e sobre a sua relação com o lema de Yoneda. Para finalizar, uma reflexão sobre o conceito de diferença, filosofia Deleuziana, e a sua interpretação nos domínios da lógica matemática.