logical proof

meaning: proof of a logical theorem (noun)