[′kän·tȯr dī′ag·ən·əl ‚präs·əs] (mathematics) A technique of proving statements about infinite sequences, each of whose terms is an infinite sequence by operation on the n th term of the n th sequence for each n ; used to prove the uncountability of the real numbers.