A mathematical progress from one proposition to another.
·noun An indirect argument which proves a thing by showing the impossibility or absurdity of the con...
Webster's Dictionary of the English Language