Thó-lūn:Hoán-chèng-hoat
(Tùi 反證法 choán--lâi)
反證法 siu-kái
反證法 (reductio ad absurdum)是一種邏則論證的手路，頭起先假設欲論證的陳述是假-的，紲-落的證明若得著相踏出的結果，就表示進前的假設毋著，證明結束。這種手路用著非矛盾律 (law of non-contradiction), 徛講伊的陳述袂當是真-的又閣是假-的，有當時仔嘛會用著排中律，徛講伊的陳述若袂當是假-的，就定著是真-的。
例 siu-kái
用反證法來證明素數的數量無限。
第一步：先假設素數的數量有限，干焦有m个。
第二步：共這m的素數相乘做伙閣加1，共號做x，按呢這m的素數去除x攏會賰1，按呢嘛是(a) x是素數；就是(b)x有一个無佇這m的素數內底的約數， 毋過(a)和(b)攏表示素數上無有m + 1个，這佮假設矛盾。
根據反證法，素數的數量毋是有限-的。 #