 Mao Zedong's philosophical essay "On Contradiction" (1937) furthered Marx and Lenin's thesis and suggested that all existence is the result of contradiction.Colloquial usage can label actions or statements as contradicting each other when due (or perceived as due) to presuppositions which are contradictory in the logical sense.Proof by contradiction is used in mathematics to construct proofs.