[L.] In Geom., the proving of a proposition by showing that the maintenance of the contrary is an absurdity.