Historical reference: Do not rely on this information. It is very old. About this collection
Absurdum, Reductio ad, an indirect method of proving a proposition by showing that its incorrectness would lead to an absurdity. Euclid frequently uses it in his geometrical demonstrations.