form of mathematical proof in formal logic
• indirect proof
• apagogical argument
• proof by assuming the opposite