引き算論法は1996年にイギリスの哲学者トマス・ボールドウィン()によって提出された論証で、以下のようなものである。