src: In formal logic, a contradiction is the signal of defeat: but in the evolution of real knowledge, it marks the first step in progress toward victory.
tgt: Na lógica formal, contradição é o sinal de derrota, mas na evolução do conhecimento real marca o primeiro passo do progresso em direção a uma vitória.