NP complexity class/Definition

Set of all decision problems for which the 'yes'-answers have simple proofs of the fact that the answer is indeed 'yes'.