- доведення, в основі якого лежить допущення, що вірним є твердження, протилежна умові.
» Словник математичних термінів і понять